この頭状は言である
fact1: もしもその弁逆流は来難いけど基本単位でないとするとこっ酷くない fact2: とろ臭いしこっ酷いということはない物は零し始めるということはない fact3: この伝統食品は基本単位である fact4: その弁逆流は来難いなら「零し始める」ということは本当だ fact5: もしも「この伝統食品は基本単位だ」ということは本当であるなら「その弁逆流は来難くないけどそれは戦い抜く」ということは事実と異なる fact6: もしも「その弁逆流はとろ臭い一方でこっ酷くない」ということは成り立たないならばあの頭状は歩き辛い fact7: もし「その弁逆流は来難くないけれど戦い抜く」ということは成り立たないとすると零し始める fact8: 歩き辛い物は言である
fact2 -> int1: もしもその弁逆流がとろ臭いがしかしそれがこっ酷いということはないならば零し始めない; void -> assump1: 以下のように仮定する。その弁逆流はとろ臭いけどこっ酷くない; int1 & assump1 -> int2: 「その弁逆流は零し始めない」ということは真実である; fact3 & fact5 -> int3: 「その弁逆流は来難くない一方で戦い抜く」ということは誤りである; int3 & fact7 -> int4: その弁逆流は零し始める; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その弁逆流はとろ臭い一方でこっ酷いということはない」ということは偽だ; int6 & fact6 -> int7: この頭状は歩き辛い; fact8 -> int8: もしもこの頭状は歩き辛いとすると「言だ」ということは成り立つ; int7 & int8 -> hypothesis;
$facts$ = fact1: もしもその弁逆流は来難いけど基本単位でないとするとこっ酷くない fact2: とろ臭いしこっ酷いということはない物は零し始めるということはない fact3: この伝統食品は基本単位である fact4: その弁逆流は来難いなら「零し始める」ということは本当だ fact5: もしも「この伝統食品は基本単位だ」ということは本当であるなら「その弁逆流は来難くないけどそれは戦い抜く」ということは事実と異なる fact6: もしも「その弁逆流はとろ臭い一方でこっ酷くない」ということは成り立たないならばあの頭状は歩き辛い fact7: もし「その弁逆流は来難くないけれど戦い抜く」ということは成り立たないとすると零し始める fact8: 歩き辛い物は言である ; $hypothesis$ = この頭状は言である ; $proof$ = 
fact2 -> int1: もしもその弁逆流がとろ臭いがしかしそれがこっ酷いということはないならば零し始めない; void -> assump1: 以下のように仮定する。その弁逆流はとろ臭いけどこっ酷くない; int1 & assump1 -> int2: 「その弁逆流は零し始めない」ということは真実である; fact3 & fact5 -> int3: 「その弁逆流は来難くない一方で戦い抜く」ということは誤りである; int3 & fact7 -> int4: その弁逆流は零し始める; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その弁逆流はとろ臭い一方でこっ酷いということはない」ということは偽だ; int6 & fact6 -> int7: この頭状は歩き辛い; fact8 -> int8: もしもこの頭状は歩き辛いとすると「言だ」ということは成り立つ; int7 & int8 -> hypothesis; __PROVED__
事実1: もしもその弁逆流は来難いけど基本単位でないとするとこっ酷くない
事実2: とろ臭いしこっ酷いということはない物は零し始めるということはない
事実3: この伝統食品は基本単位である
事実4: その弁逆流は来難いなら「零し始める」ということは本当だ
事実5: もしも「この伝統食品は基本単位だ」ということは本当であるなら「その弁逆流は来難くないけどそれは戦い抜く」ということは事実と異なる
事実6: もしも「その弁逆流はとろ臭い一方でこっ酷くない」ということは成り立たないならばあの頭状は歩き辛い
事実7: もし「その弁逆流は来難くないけれど戦い抜く」ということは成り立たないとすると零し始める
事実8: 歩き辛い物は言である

仮説: この頭状は言である
1. 事実2から、推論1: "もしもその弁逆流がとろ臭いがしかしそれがこっ酷いということはないならば零し始めない"が導かれる
2. 仮定1: 以下のように仮定する。その弁逆流はとろ臭いけどこっ酷くない
3. 推論1と仮定1から、推論2: "「その弁逆流は零し始めない」ということは真実である"が導かれる
4. 事実3と事実5から、推論3: "「その弁逆流は来難くない一方で戦い抜く」ということは誤りである"が導かれる
5. 推論3と事実7から、推論4: "その弁逆流は零し始める"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その弁逆流はとろ臭い一方でこっ酷いということはない」ということは偽だ"が導かれる
8. 推論6と事実6から、推論7: "この頭状は歩き辛い"が導かれる
9. 事実8から、推論8: "もしもこの頭状は歩き辛いとすると「言だ」ということは成り立つ"が導かれる
10. 推論7と推論8から、仮説が導かれる

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