מערכת FullProof מאפשרת הגעה לתוצאה סופית אחת בכל סעיף, ולכן לעתים החלוקה של השאלה לסעיפים במערכת שונה מאשר בשאלה המקורית. בעת תחילת הפתרון חשוב לבדוק מה הצ"ל שהוגדר לסעיף שאותו פותרים.

למשל, בשאלה שבה צריך להגיע לכמה מטרות באותו הסעיף. במערכת כל מטרה נמצאת בסעיף נפרד.

לאחר בדיקת כל סעיף מוצגות האפשרויות "נסה שוב" שמאפשר תיקון של ההוכחה ביחס למשוב של המערכת ו"הבא", למעבר לסעיף הבא. כל הנתונים והטענות של הסעיף הקודם יופיעו וניתן יהיה להתייחס אליהם בעמודת הטענות התומכות, אבל כדי לערוך סעיף קודם יש ללחוץ על הכפתור חזור לסעיף זה.

כל הנתונים והטענות של הסעיף הקודם יופיעו וניתן יהיה להתייחס אליהם בעמודת הטענות התומכות, אבל כדי לערוך סעיף קודם יש ללחוץ על הכפתור חזור לסעיף זה.

יש להשלים ולבדוק את הסעיפים הקודמים לפני שעוברים לסעיף הבא, כי כל בדיקה של סעיף מבוססת על המידע שנמצא בסעיף הקודם, אבל אין צורך לתקן את כל הטעויות בסעיפים הקודמים.