sentence1: تمثل البراهين عادة بنى بيانات معرفة حدسيا، مثل القوائم المنبسطة (plain lists) أو القوائم المعلبة (boxed lists) أو الأشجار، التي تتشكل بناء على بدهيات وقواعد الاستدلال rules of inference للنظام المنطقي.
sentence2: Le dimostrazioni sono solitamente presentate come strutture dati definite induttivamente (ad esempio, liste o alberi), costruite secondo gli assiomi e le regole di inferenza del sistema logico.