「「飛び掛かる」ということは真実な」物はある
fact1: あの申請者は考えしない fact2: あの申請者はすんごいが考えしない fact3: もし仮にその神理は協議決定でないとしたら「あの混注は飛び掛かる」ということは確かだ fact4: この二百六十六人はすんごい fact5: もしもあの混注が飛び掛かるしまた考えするならあの申請者はすんごくない fact6: もしも何かは翼部だとすればそれは耽らない fact7: もしあの申請者がすんごいがしかし考えするということはないとすればその神理は協議決定でない fact8: もし「あの申請者はすんごいけれど協議決定でない」ということは偽だとするとその下車はすんごくない fact9: もしも何らかの物が耽らないとしたらそれは協議決定であるしさらにそれは飛び掛かる fact10: もしもあの申請者が飛び掛からないとしたらあの混注は考えする fact11: もしあの申請者が協議決定でないとしたらその神理は考えする fact12: もしもあの申請者がすんごいしその上考えするとするとその神理は協議決定でない
fact7 & fact2 -> int1: その神理は協議決定でない; int1 & fact3 -> int2: あの混注は飛び掛かる; int2 -> hypothesis;
fact7 & fact2 -> int1: ¬{B}{b}; int1 & fact3 -> int2: {A}{c}; int2 -> hypothesis;
その下車はすんごいということはない
fact15 -> int3: もしもその神理が耽らないとすれば協議決定であるしそれは飛び掛かる; fact14 -> int4: もし仮にその神理は翼部であるならば「耽る」ということは成り立つということはない;
$facts$ = fact1: あの申請者は考えしない fact2: あの申請者はすんごいが考えしない fact3: もし仮にその神理は協議決定でないとしたら「あの混注は飛び掛かる」ということは確かだ fact4: この二百六十六人はすんごい fact5: もしもあの混注が飛び掛かるしまた考えするならあの申請者はすんごくない fact6: もしも何かは翼部だとすればそれは耽らない fact7: もしあの申請者がすんごいがしかし考えするということはないとすればその神理は協議決定でない fact8: もし「あの申請者はすんごいけれど協議決定でない」ということは偽だとするとその下車はすんごくない fact9: もしも何らかの物が耽らないとしたらそれは協議決定であるしさらにそれは飛び掛かる fact10: もしもあの申請者が飛び掛からないとしたらあの混注は考えする fact11: もしあの申請者が協議決定でないとしたらその神理は考えする fact12: もしもあの申請者がすんごいしその上考えするとするとその神理は協議決定でない ; $hypothesis$ = 「「飛び掛かる」ということは真実な」物はある ; $proof$ = 
fact7 & fact2 -> int1: その神理は協議決定でない; int1 & fact3 -> int2: あの混注は飛び掛かる; int2 -> hypothesis; __PROVED__
事実1: あの申請者は考えしない
事実2: あの申請者はすんごいが考えしない
事実3: もし仮にその神理は協議決定でないとしたら「あの混注は飛び掛かる」ということは確かだ
事実4: この二百六十六人はすんごい
事実5: もしもあの混注が飛び掛かるしまた考えするならあの申請者はすんごくない
事実6: もしも何かは翼部だとすればそれは耽らない
事実7: もしあの申請者がすんごいがしかし考えするということはないとすればその神理は協議決定でない
事実8: もし「あの申請者はすんごいけれど協議決定でない」ということは偽だとするとその下車はすんごくない
事実9: もしも何らかの物が耽らないとしたらそれは協議決定であるしさらにそれは飛び掛かる
事実10: もしもあの申請者が飛び掛からないとしたらあの混注は考えする
事実11: もしあの申請者が協議決定でないとしたらその神理は考えする
事実12: もしもあの申請者がすんごいしその上考えするとするとその神理は協議決定でない

仮説: 「「飛び掛かる」ということは真実な」物はある
1. 事実7と事実2から、推論1: "その神理は協議決定でない"が導かれる
2. 推論1と事実3から、推論2: "あの混注は飛び掛かる"が導かれる
3. 推論2から、仮説が導かれる

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