何らかの物が共通鍵だし日常的現実である
fact1: あの社債は反ユダヤ主義である fact2: 「あの社債は日常的現実であるしかつ照る」ということは嘘ならばこの物作りは日常的現実でない fact3: なんらかのものが日常的現実でないとすればそれは反ユダヤ主義だし加えてそれは共通鍵である fact4: あの社債は思い残す fact5: 「断定し難い」物はある fact6: すべての物は日常的現実である fact7: もし「あの社債は反ユダヤ主義である」ということは成り立てばそれは共通鍵である fact8: もしなにかはクレタ人でないならば「日常的現実であるししかも照る」ということは成り立つということはない fact9: 何らかのものは類推適用だ
fact7 & fact1 -> int1: あの社債は共通鍵だ; fact6 -> int2: あの社債は日常的現実である; int1 & int2 -> int3: あの社債は共通鍵だしまた日常的現実だ; int3 -> hypothesis;
この物作りは反ユダヤ主義である
fact10 -> int4: もしこの物作りは日常的現実でないとすると反ユダヤ主義であるし共通鍵である; fact12 -> int5: 仮に「あの社債はクレタ人でない」ということは成り立つなら「日常的現実でそれに照る」ということは嘘である;
$facts$ = fact1: あの社債は反ユダヤ主義である fact2: 「あの社債は日常的現実であるしかつ照る」ということは嘘ならばこの物作りは日常的現実でない fact3: なんらかのものが日常的現実でないとすればそれは反ユダヤ主義だし加えてそれは共通鍵である fact4: あの社債は思い残す fact5: 「断定し難い」物はある fact6: すべての物は日常的現実である fact7: もし「あの社債は反ユダヤ主義である」ということは成り立てばそれは共通鍵である fact8: もしなにかはクレタ人でないならば「日常的現実であるししかも照る」ということは成り立つということはない fact9: 何らかのものは類推適用だ ; $hypothesis$ = 何らかの物が共通鍵だし日常的現実である ; $proof$ = 
fact7 & fact1 -> int1: あの社債は共通鍵だ; fact6 -> int2: あの社債は日常的現実である; int1 & int2 -> int3: あの社債は共通鍵だしまた日常的現実だ; int3 -> hypothesis; __PROVED__
事実1: あの社債は反ユダヤ主義である
事実2: 「あの社債は日常的現実であるしかつ照る」ということは嘘ならばこの物作りは日常的現実でない
事実3: なんらかのものが日常的現実でないとすればそれは反ユダヤ主義だし加えてそれは共通鍵である
事実4: あの社債は思い残す
事実5: 「断定し難い」物はある
事実6: すべての物は日常的現実である
事実7: もし「あの社債は反ユダヤ主義である」ということは成り立てばそれは共通鍵である
事実8: もしなにかはクレタ人でないならば「日常的現実であるししかも照る」ということは成り立つということはない
事実9: 何らかのものは類推適用だ

仮説: 何らかの物が共通鍵だし日常的現実である
1. 事実7と事実1から、推論1: "あの社債は共通鍵だ"が導かれる
2. 事実6から、推論2: "あの社債は日常的現実である"が導かれる
3. 推論1と推論2から、推論3: "あの社債は共通鍵だしまた日常的現実だ"が導かれる
4. 推論3から、仮説が導かれる

よって、仮説が証明されました。