その含み笑いはむさいし加えてそれは人懐っこい
fact1: 「もしも信心深くない物が結紮しないならそれはむさくない」ということは真実である fact2: もしも「とあるものは阪神タイガースであるがそれは程無くない」ということは嘘だとしたらそれはむさいということはない fact3: もし仮に「あの筆者形は過不足無くない」ということは確かなら「この琉球王国は程無いということはないけど過不足無い」ということは偽である fact4: すべての物はちっちゃい fact5: その展開方向が程無いがしかし過不足無くないとしたらあの筆者形は信心深くない fact6: その社会的使命は持ち難い fact7: もし「その展開方向は炭化水素だし持ち難い」ということは成り立たないとしたらそれは長波でない fact8: もし仮に「その含み笑いは阪神タイガースでないし加えてむさいということはない」ということは偽だとしたら「それはむさい」ということは本当だ fact9: もしもあの筆者形が人懐っこいとするとその含み笑いは人懐っこい fact10: もしもとある物は設定するとすると「信心深くない」ということは事実である fact11: もし仮にその爻はむさくないなら「その含み笑いはむさくておまけに人懐っこい」ということは偽だ fact12: もし仮に何らかのものが結紮すればそれは人懐っこい fact13: その爻は阪神タイガースだ fact14: もし仮に「なにかは寄り合うけれど設定しない」ということは成り立つということはないなら過不足無くない fact15: 仮にその社会的使命が設定するとするとあの筆者形は結紮する fact16: もしもその展開方向が信心深いならその社会的使命は結紮する fact17: あの筆者形が寄り合うが設定しないとすればその展開方向は信心深い fact18: 「この琉球王国は程無くない一方で過不足無い」ということは成り立つということはないなら「その爻はむさいということはない」ということは事実だ fact19: ちっちゃいものは予告無しだ fact20: 程無くないものが人懐っこいならば過不足無い fact21: あの筆者形は程無くない fact22: もし仮になにがしかのものが阪神タイガースでないけど長波ならそれは結紮しない fact23: もしその社会的使命が持ち難いならば阪神タイガースでないしそれは長波だ fact24: 「あの筆者形は人懐っこくない」ということは真実である
void -> assump1: 以下のように仮定する。あの筆者形は寄り合うけれど設定しない; fact17 & assump1 -> int1: 「その展開方向は信心深い」ということは確かだ; int1 & fact16 -> int2: その社会的使命は結紮する; fact22 -> int3: その社会的使命は阪神タイガースでないけれど長波であるならそれは結紮しない; fact23 & fact6 -> int4: その社会的使命は阪神タイガースでないがしかし長波である; int3 & int4 -> int5: 「その社会的使命は結紮しない」ということは成り立つ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの筆者形は寄り合うがしかしそれは設定するということはない」ということは成り立たない; fact14 -> int8: もし仮に「あの筆者形は寄り合うがしかし設定しない」ということは成り立たないならば「過不足無くない」ということは本当だ; int7 & int8 -> int9: あの筆者形は過不足無いということはない; int9 & fact3 -> int10: 「この琉球王国は程無くないがしかし過不足無い」ということは真実でない; int10 & fact18 -> int11: その爻はむさいということはない; int11 & fact11 -> hypothesis;
その含み笑いはむさいしさらに人懐っこい
fact29 -> int12: もし仮に「この琉球王国はちっちゃい」ということは成り立つとしたら「予告無しだ」ということは事実である; fact31 -> int13: この琉球王国はちっちゃい; int12 & int13 -> int14: この琉球王国は予告無しである; int14 -> int15: どれもこれもは予告無しだ; int15 -> int16: その社会的使命は予告無しである; fact26 -> int17: 仮にあの筆者形が結紮すればそれは人懐っこい;
$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: 「あの筆者形は人懐っこくない」ということは真実である ; $hypothesis$ = その含み笑いはむさいし加えてそれは人懐っこい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの筆者形は寄り合うけれど設定しない; fact17 & assump1 -> int1: 「その展開方向は信心深い」ということは確かだ; int1 & fact16 -> int2: その社会的使命は結紮する; fact22 -> int3: その社会的使命は阪神タイガースでないけれど長波であるならそれは結紮しない; fact23 & fact6 -> int4: その社会的使命は阪神タイガースでないがしかし長波である; int3 & int4 -> int5: 「その社会的使命は結紮しない」ということは成り立つ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの筆者形は寄り合うがしかしそれは設定するということはない」ということは成り立たない; fact14 -> int8: もし仮に「あの筆者形は寄り合うがしかし設定しない」ということは成り立たないならば「過不足無くない」ということは本当だ; int7 & int8 -> int9: あの筆者形は過不足無いということはない; int9 & fact3 -> int10: 「この琉球王国は程無くないがしかし過不足無い」ということは真実でない; int10 & fact18 -> int11: その爻はむさいということはない; int11 & fact11 -> hypothesis; __DISPROVED__
事実1: 「もしも信心深くない物が結紮しないならそれはむさくない」ということは真実である
事実2: もしも「とあるものは阪神タイガースであるがそれは程無くない」ということは嘘だとしたらそれはむさいということはない
事実3: もし仮に「あの筆者形は過不足無くない」ということは確かなら「この琉球王国は程無いということはないけど過不足無い」ということは偽である
事実4: すべての物はちっちゃい
事実5: その展開方向が程無いがしかし過不足無くないとしたらあの筆者形は信心深くない
事実6: その社会的使命は持ち難い
事実7: もし「その展開方向は炭化水素だし持ち難い」ということは成り立たないとしたらそれは長波でない
事実8: もし仮に「その含み笑いは阪神タイガースでないし加えてむさいということはない」ということは偽だとしたら「それはむさい」ということは本当だ
事実9: もしもあの筆者形が人懐っこいとするとその含み笑いは人懐っこい
事実10: もしもとある物は設定するとすると「信心深くない」ということは事実である
事実11: もし仮にその爻はむさくないなら「その含み笑いはむさくておまけに人懐っこい」ということは偽だ
事実12: もし仮に何らかのものが結紮すればそれは人懐っこい
事実13: その爻は阪神タイガースだ
事実14: もし仮に「なにかは寄り合うけれど設定しない」ということは成り立つということはないなら過不足無くない
事実15: 仮にその社会的使命が設定するとするとあの筆者形は結紮する
事実16: もしもその展開方向が信心深いならその社会的使命は結紮する
事実17: あの筆者形が寄り合うが設定しないとすればその展開方向は信心深い
事実18: 「この琉球王国は程無くない一方で過不足無い」ということは成り立つということはないなら「その爻はむさいということはない」ということは事実だ
事実19: ちっちゃいものは予告無しだ
事実20: 程無くないものが人懐っこいならば過不足無い
事実21: あの筆者形は程無くない
事実22: もし仮になにがしかのものが阪神タイガースでないけど長波ならそれは結紮しない
事実23: もしその社会的使命が持ち難いならば阪神タイガースでないしそれは長波だ
事実24: 「あの筆者形は人懐っこくない」ということは真実である

仮説: その含み笑いはむさいし加えてそれは人懐っこい
1. 仮定1: 以下のように仮定する。あの筆者形は寄り合うけれど設定しない
2. 事実17と仮定1から、推論1: "「その展開方向は信心深い」ということは確かだ"が導かれる
3. 推論1と事実16から、推論2: "その社会的使命は結紮する"が導かれる
4. 事実22から、推論3: "その社会的使命は阪神タイガースでないけれど長波であるならそれは結紮しない"が導かれる
5. 事実23と事実6から、推論4: "その社会的使命は阪神タイガースでないがしかし長波である"が導かれる
6. 推論3と推論4から、推論5: "「その社会的使命は結紮しない」ということは成り立つ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「あの筆者形は寄り合うがしかしそれは設定するということはない」ということは成り立たない"が導かれる
9. 事実14から、推論8: "もし仮に「あの筆者形は寄り合うがしかし設定しない」ということは成り立たないならば「過不足無くない」ということは本当だ"が導かれる
10. 推論7と推論8から、推論9: "あの筆者形は過不足無いということはない"が導かれる
11. 推論9と事実3から、推論10: "「この琉球王国は程無くないがしかし過不足無い」ということは真実でない"が導かれる
12. 推論10と事実18から、推論11: "その爻はむさいということはない"が導かれる
13. 推論11と事実11から、仮説が否定される

よって、仮説が否定されました。