その色味は午年でない
fact1: もし仮にその心素が古びないがそれが気忙しいならその朝鮮侵略は根強くない fact2: 根強くない物は成り易いが人間臭くない fact3: もしこの三例が古びないならそれは詳しくなくて加えて成り易くない fact4: 「その朝鮮侵略はやばくない」ということは正しいとしたらあのスパイラル状はやばくない fact5: 仮に「専念すしまたやばい」ものはあれば「あのスパイラル状はテスト前である」ということは真実である fact6: その心素は古びない fact7: あるものは専念す fact8: もし仮に「なにがしかの物は捕らわれ易くないしテスト前であるということはない」ということは成り立たないとするとそれはやばくない fact9: もし「「高台であるかまたは中央執行委員であるかあるいは両方ともだ」ということは偽である」物があるならばあの総括的評価は気忙しくない fact10: 仮にあのスパイラル状がテスト前であるかあるいは捕らわれ易いかもしくは両方であるならその朝鮮侵略は成り易くない fact11: もしもこの三例が詳しくないしおまけに成り易くないとすればあのスパイラル状は成り易くない fact12: その心素は古びない一方で気忙しい fact13: もし「捕らわれ易い」ものはあるとしたら「その朝鮮侵略は捕らわれ易くないしそれにテスト前でない」ということは間違っている fact14: その色味はやばい fact15: この三例は古びるということはない fact16: 「この雑費は高台であるかあるいはそれは中央執行委員であるかもしくは両方ともだ」ということは間違っている fact17: もしも何かは成り易くないとすれば「それは人間臭くないし加えてそれは専念す」ということは嘘である fact18: 仮にその色味は午年であるとするとそれは専念す fact19: もしあの総括的評価が気忙しいということはないとするとその心素は捕らわれ易くて更に根強い fact20: もしも「なんらかの物は人間臭くないけど専念す」ということは誤っているとしたら専念すらない
void -> assump1: 以下のように仮定する。その色味は午年だ; fact18 & assump1 -> int1: その色味は専念す; int1 & fact14 -> int2: 「その色味は専念すしかつやばい」ということは成り立つ; int2 -> int3: 「専念すしやばい」ものはある; int3 & fact5 -> int4: あのスパイラル状はテスト前だ; int4 -> int5: あのスパイラル状はテスト前であるかもしくは捕らわれ易い; int5 & fact10 -> int6: その朝鮮侵略は成り易くない; fact1 & fact12 -> int7: その朝鮮侵略は根強くない; fact2 -> int8: その朝鮮侵略が根強くないとすればそれは成り易くて人間臭くない; int7 & int8 -> int9: その朝鮮侵略は成り易い一方で人間臭くない; int9 -> int10: その朝鮮侵略は成り易い; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
その色味は午年だ
fact22 -> int12: もし仮に「あのスパイラル状は人間臭くないけど専念す」ということは正しくないとしたら専念すらない; fact29 -> int13: もしあのスパイラル状は成り易くないとすると「人間臭くないが専念す」ということは誤りだ; fact23 & fact30 -> int14: この三例は詳しいということはなくて加えて成り易くない; fact26 & int14 -> int15: あのスパイラル状は成り易くない; int13 & int15 -> int16: 「あのスパイラル状は人間臭くない一方で専念す」ということは事実でない; int12 & int16 -> int17: あのスパイラル状は専念すということはない; fact25 -> int18: もし仮に「その朝鮮侵略は捕らわれ易くないしテスト前でない」ということは成り立たないとしたらやばくない; fact31 -> int19: 「「高台であるかもしくは中央執行委員であるか両方である」ということは誤っている」ものはある; int19 & fact27 -> int20: あの総括的評価は気忙しくない; fact24 & int20 -> int21: その心素は捕らわれ易いし加えて根強い; int21 -> int22: 「その心素は捕らわれ易い」ということは真実だ; int22 -> int23: 「捕らわれ易い」物はある; int23 & fact28 -> int24: 「その朝鮮侵略は捕らわれ易くないしおまけにそれはテスト前でない」ということは嘘だ; int18 & int24 -> int25: その朝鮮侵略はやばいということはない; fact21 & int25 -> int26: あのスパイラル状はやばくない; int17 & int26 -> int27: あのスパイラル状は専念すということはないしやばくない; int27 -> int28: 「専念すらないしやばいということはない」ものはある;
$facts$ = fact1: もし仮にその心素が古びないがそれが気忙しいならその朝鮮侵略は根強くない fact2: 根強くない物は成り易いが人間臭くない fact3: もしこの三例が古びないならそれは詳しくなくて加えて成り易くない fact4: 「その朝鮮侵略はやばくない」ということは正しいとしたらあのスパイラル状はやばくない fact5: 仮に「専念すしまたやばい」ものはあれば「あのスパイラル状はテスト前である」ということは真実である fact6: その心素は古びない fact7: あるものは専念す fact8: もし仮に「なにがしかの物は捕らわれ易くないしテスト前であるということはない」ということは成り立たないとするとそれはやばくない fact9: もし「「高台であるかまたは中央執行委員であるかあるいは両方ともだ」ということは偽である」物があるならばあの総括的評価は気忙しくない fact10: 仮にあのスパイラル状がテスト前であるかあるいは捕らわれ易いかもしくは両方であるならその朝鮮侵略は成り易くない fact11: もしもこの三例が詳しくないしおまけに成り易くないとすればあのスパイラル状は成り易くない fact12: その心素は古びない一方で気忙しい fact13: もし「捕らわれ易い」ものはあるとしたら「その朝鮮侵略は捕らわれ易くないしそれにテスト前でない」ということは間違っている fact14: その色味はやばい fact15: この三例は古びるということはない fact16: 「この雑費は高台であるかあるいはそれは中央執行委員であるかもしくは両方ともだ」ということは間違っている fact17: もしも何かは成り易くないとすれば「それは人間臭くないし加えてそれは専念す」ということは嘘である fact18: 仮にその色味は午年であるとするとそれは専念す fact19: もしあの総括的評価が気忙しいということはないとするとその心素は捕らわれ易くて更に根強い fact20: もしも「なんらかの物は人間臭くないけど専念す」ということは誤っているとしたら専念すらない ; $hypothesis$ = その色味は午年でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その色味は午年だ; fact18 & assump1 -> int1: その色味は専念す; int1 & fact14 -> int2: 「その色味は専念すしかつやばい」ということは成り立つ; int2 -> int3: 「専念すしやばい」ものはある; int3 & fact5 -> int4: あのスパイラル状はテスト前だ; int4 -> int5: あのスパイラル状はテスト前であるかもしくは捕らわれ易い; int5 & fact10 -> int6: その朝鮮侵略は成り易くない; fact1 & fact12 -> int7: その朝鮮侵略は根強くない; fact2 -> int8: その朝鮮侵略が根強くないとすればそれは成り易くて人間臭くない; int7 & int8 -> int9: その朝鮮侵略は成り易い一方で人間臭くない; int9 -> int10: その朝鮮侵略は成り易い; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis; __PROVED__
事実1: もし仮にその心素が古びないがそれが気忙しいならその朝鮮侵略は根強くない
事実2: 根強くない物は成り易いが人間臭くない
事実3: もしこの三例が古びないならそれは詳しくなくて加えて成り易くない
事実4: 「その朝鮮侵略はやばくない」ということは正しいとしたらあのスパイラル状はやばくない
事実5: 仮に「専念すしまたやばい」ものはあれば「あのスパイラル状はテスト前である」ということは真実である
事実6: その心素は古びない
事実7: あるものは専念す
事実8: もし仮に「なにがしかの物は捕らわれ易くないしテスト前であるということはない」ということは成り立たないとするとそれはやばくない
事実9: もし「「高台であるかまたは中央執行委員であるかあるいは両方ともだ」ということは偽である」物があるならばあの総括的評価は気忙しくない
事実10: 仮にあのスパイラル状がテスト前であるかあるいは捕らわれ易いかもしくは両方であるならその朝鮮侵略は成り易くない
事実11: もしもこの三例が詳しくないしおまけに成り易くないとすればあのスパイラル状は成り易くない
事実12: その心素は古びない一方で気忙しい
事実13: もし「捕らわれ易い」ものはあるとしたら「その朝鮮侵略は捕らわれ易くないしそれにテスト前でない」ということは間違っている
事実14: その色味はやばい
事実15: この三例は古びるということはない
事実16: 「この雑費は高台であるかあるいはそれは中央執行委員であるかもしくは両方ともだ」ということは間違っている
事実17: もしも何かは成り易くないとすれば「それは人間臭くないし加えてそれは専念す」ということは嘘である
事実18: 仮にその色味は午年であるとするとそれは専念す
事実19: もしあの総括的評価が気忙しいということはないとするとその心素は捕らわれ易くて更に根強い
事実20: もしも「なんらかの物は人間臭くないけど専念す」ということは誤っているとしたら専念すらない

仮説: その色味は午年でない
1. 仮定1: 以下のように仮定する。その色味は午年だ
2. 事実18と仮定1から、推論1: "その色味は専念す"が導かれる
3. 推論1と事実14から、推論2: "「その色味は専念すしかつやばい」ということは成り立つ"が導かれる
4. 推論2から、推論3: "「専念すしやばい」ものはある"が導かれる
5. 推論3と事実5から、推論4: "あのスパイラル状はテスト前だ"が導かれる
6. 推論4から、推論5: "あのスパイラル状はテスト前であるかもしくは捕らわれ易い"が導かれる
7. 推論5と事実10から、推論6: "その朝鮮侵略は成り易くない"が導かれる
8. 事実1と事実12から、推論7: "その朝鮮侵略は根強くない"が導かれる
9. 事実2から、推論8: "その朝鮮侵略が根強くないとすればそれは成り易くて人間臭くない"が導かれる
10. 推論7と推論8から、推論9: "その朝鮮侵略は成り易い一方で人間臭くない"が導かれる
11. 推論9から、推論10: "その朝鮮侵略は成り易い"が導かれる
12. 推論6と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が導かれる

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