この及第者はターミナルである
fact1: 冷め易くないものは馬借だ fact2: もしその絶食が錯覚しない一方で馬借であるならこの及第者はターミナルである fact3: もしなにがしかのものが馬借でないならそれは錯覚するということはないししかも歩き辛い fact4: その絶食は歩き辛くて唱導する fact5: 「この及第者は歩き辛い」ということは偽でない fact6: この及第者は唐辛子唇だ fact7: 「「その絶食は唱導しないしそれは歩き辛くない」ということは正しい」ということは成り立たない fact8: 仮にその絶食がターミナルでかつ歩き辛いならばこの及第者はターミナルでない fact9: この及第者は錯覚する fact10: その絶食は差し出がましい fact11: もし仮にその手術直後が唱導するということはないならその絶食はターミナルでしかも歩き辛い fact12: 「冷め易くないものは錯覚しないけれど馬借である」ということは確かだ fact13: 仮にこの及第者が錯覚するということはないとしたらそれはターミナルであるということはないし更にそれは歩き辛い fact14: この及第者は仕分ける fact15: 「その絶食は学友達だ」ということは成り立つ fact16: あの術中は錯覚する fact17: この及第者はＦＴＰであるということはない fact18: 「その絶食は唱導する」ということは本当だ fact19: もし仮にその絶食が冷め易くないとすれば馬借である fact20: その絶食は唐辛子唇だ fact21: もしもその絶食が歩き辛いし更にターミナルだとすればこの及第者は唐辛子唇だ fact22: もしもその絶食が歩き辛いということはないとすればターミナルでないし更にそれは冷め易い fact23: もし仮になにがしかのものは馬借でないとしたらそれはターミナルでないがしかし唱導する fact24: その絶食は馬借である fact25: もしその絶食は歩き辛いししかも冷め易いとしたらそれは唐辛子唇だということはない
fact4 -> int1: その絶食は歩き辛い; void -> assump1: 以下のように仮定する。その絶食は冷め易い; int1 & assump1 -> int2: その絶食は歩き辛くておまけに冷め易い; int2 & fact25 -> int3: その絶食は唐辛子唇でない; int3 & fact20 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その絶食は冷め易くない」ということは成り立つ; fact12 -> int6: もしもその絶食が冷め易くないならば錯覚しないが馬借である; int5 & int6 -> int7: その絶食は錯覚しないが馬借である; int7 & fact2 -> hypothesis;
この補訂は情報公開するし更にそれは御向かいである
fact26 -> int8: 「「唱導しないし歩き辛くない」ということは成り立たない」ものはある;
$facts$ = fact1: 冷め易くないものは馬借だ fact2: もしその絶食が錯覚しない一方で馬借であるならこの及第者はターミナルである fact3: もしなにがしかのものが馬借でないならそれは錯覚するということはないししかも歩き辛い fact4: その絶食は歩き辛くて唱導する fact5: 「この及第者は歩き辛い」ということは偽でない fact6: この及第者は唐辛子唇だ fact7: 「「その絶食は唱導しないしそれは歩き辛くない」ということは正しい」ということは成り立たない fact8: 仮にその絶食がターミナルでかつ歩き辛いならばこの及第者はターミナルでない fact9: この及第者は錯覚する fact10: その絶食は差し出がましい fact11: もし仮にその手術直後が唱導するということはないならその絶食はターミナルでしかも歩き辛い fact12: 「冷め易くないものは錯覚しないけれど馬借である」ということは確かだ fact13: 仮にこの及第者が錯覚するということはないとしたらそれはターミナルであるということはないし更にそれは歩き辛い fact14: この及第者は仕分ける fact15: 「その絶食は学友達だ」ということは成り立つ fact16: あの術中は錯覚する fact17: この及第者はＦＴＰであるということはない fact18: 「その絶食は唱導する」ということは本当だ fact19: もし仮にその絶食が冷め易くないとすれば馬借である fact20: その絶食は唐辛子唇だ fact21: もしもその絶食が歩き辛いし更にターミナルだとすればこの及第者は唐辛子唇だ fact22: もしもその絶食が歩き辛いということはないとすればターミナルでないし更にそれは冷め易い fact23: もし仮になにがしかのものは馬借でないとしたらそれはターミナルでないがしかし唱導する fact24: その絶食は馬借である fact25: もしその絶食は歩き辛いししかも冷め易いとしたらそれは唐辛子唇だということはない ; $hypothesis$ = この及第者はターミナルである ; $proof$ = 
fact4 -> int1: その絶食は歩き辛い; void -> assump1: 以下のように仮定する。その絶食は冷め易い; int1 & assump1 -> int2: その絶食は歩き辛くておまけに冷め易い; int2 & fact25 -> int3: その絶食は唐辛子唇でない; int3 & fact20 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その絶食は冷め易くない」ということは成り立つ; fact12 -> int6: もしもその絶食が冷め易くないならば錯覚しないが馬借である; int5 & int6 -> int7: その絶食は錯覚しないが馬借である; int7 & fact2 -> hypothesis; __PROVED__
事実1: 冷め易くないものは馬借だ
事実2: もしその絶食が錯覚しない一方で馬借であるならこの及第者はターミナルである
事実3: もしなにがしかのものが馬借でないならそれは錯覚するということはないししかも歩き辛い
事実4: その絶食は歩き辛くて唱導する
事実5: 「この及第者は歩き辛い」ということは偽でない
事実6: この及第者は唐辛子唇だ
事実7: 「「その絶食は唱導しないしそれは歩き辛くない」ということは正しい」ということは成り立たない
事実8: 仮にその絶食がターミナルでかつ歩き辛いならばこの及第者はターミナルでない
事実9: この及第者は錯覚する
事実10: その絶食は差し出がましい
事実11: もし仮にその手術直後が唱導するということはないならその絶食はターミナルでしかも歩き辛い
事実12: 「冷め易くないものは錯覚しないけれど馬借である」ということは確かだ
事実13: 仮にこの及第者が錯覚するということはないとしたらそれはターミナルであるということはないし更にそれは歩き辛い
事実14: この及第者は仕分ける
事実15: 「その絶食は学友達だ」ということは成り立つ
事実16: あの術中は錯覚する
事実17: この及第者はＦＴＰであるということはない
事実18: 「その絶食は唱導する」ということは本当だ
事実19: もし仮にその絶食が冷め易くないとすれば馬借である
事実20: その絶食は唐辛子唇だ
事実21: もしもその絶食が歩き辛いし更にターミナルだとすればこの及第者は唐辛子唇だ
事実22: もしもその絶食が歩き辛いということはないとすればターミナルでないし更にそれは冷め易い
事実23: もし仮になにがしかのものは馬借でないとしたらそれはターミナルでないがしかし唱導する
事実24: その絶食は馬借である
事実25: もしその絶食は歩き辛いししかも冷め易いとしたらそれは唐辛子唇だということはない

仮説: この及第者はターミナルである
1. 事実4から、推論1: "その絶食は歩き辛い"が導かれる
2. 仮定1: 以下のように仮定する。その絶食は冷め易い
3. 推論1と仮定1から、推論2: "その絶食は歩き辛くておまけに冷め易い"が導かれる
4. 推論2と事実25から、推論3: "その絶食は唐辛子唇でない"が導かれる
5. 推論3と事実20から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その絶食は冷め易くない」ということは成り立つ"が導かれる
7. 事実12から、推論6: "もしもその絶食が冷め易くないならば錯覚しないが馬借である"が導かれる
8. 推論5と推論6から、推論7: "その絶食は錯覚しないが馬借である"が導かれる
9. 推論7と事実2から、仮説が導かれる

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