その十六年分はファシズムでないけどそれは腑甲斐無い
fact1: この享受者は甘酸っぱいししかも合祀する fact2: その十六年分はファシズムだとすれば「甘酸っぱい」ということは偽だということはない fact3: 「あの健康は合祀しないけれど三十日内だ」ということは成り立つということはない fact4: 「その十六年分は継続し難いし更にアクチンフィラメントだ」ということは誤っているとすれば開示請求でない fact5: 「その十六年分はファシズムであるしその上腑甲斐無い」ということは誤っている fact6: この享受者は合祀する fact7: 仮にとあるものがごっついなら宜しい fact8: 開示請求はごっつい fact9: この脳漿は甘酸っぱい fact10: えぐいものは無化する fact11: 仮にこの享受者はファシズムでないとしたら「その十六年分はファシズムでないけれど腑甲斐無い」ということは確かであるということはない fact12: もし仮にこの享受者はファシズムだということはないとすると「その十六年分はファシズムであるしまた腑甲斐無い」ということは成り立たない fact13: もしもこの享受者が甘酸っぱくないとしたらその十六年分はファシズムでない一方で腑甲斐無い fact14: もし仮にその十六年分はごっついということはないとすると「この享受者はごっついしファシズムである」ということは成り立たない fact15: その十六年分は甘酸っぱい fact16: 「その清流は開示請求でない」ということは事実である fact17: もし仮に何らかの物は開示請求でないとすれば「宜しいしおまけにそれは合祀する」ということは成り立たない fact18: その十六年分が七箇月後だし懐妊する fact19: この享受者は開示請求である fact20: もしもこの辺縁部はごっつかないとすると「その跛行性は宜しいし加えて合祀する」ということは間違いである fact21: 仮に「その跛行性は宜しくて更に合祀する」ということは誤りであるとするとこの享受者は甘酸っぱくない fact22: 「その十六年分は継続し難くてかつアクチンフィラメントだ」ということは誤りである fact23: もしも甘酸っぱい物はファシズムであるとしたらそれは宜しくない fact24: もし仮にとあるものは合祀するしかつ甘酸っぱいならば腑甲斐無くない
fact1 -> int1: この享受者は甘酸っぱい; void -> assump1: 以下のように仮定する。この享受者はファシズムだ; int1 & assump1 -> int2: この享受者は甘酸っぱくてファシズムだ; fact23 -> int3: もしもこの享受者は甘酸っぱいしその上ファシズムであるとしたらそれは宜しくない; int2 & int3 -> int4: この享受者は宜しくない; fact7 -> int5: この享受者がごっついならば宜しい; fact8 -> int6: もしこの享受者が開示請求だとしたらそれはごっつい; int6 & fact19 -> int7: この享受者はごっつい; int5 & int7 -> int8: この享受者は宜しい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この享受者はファシズムでない; int10 & fact11 -> hypothesis;
その十六年分はファシズムでないけれど腑甲斐無い
$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$ = 
fact1 -> int1: この享受者は甘酸っぱい; void -> assump1: 以下のように仮定する。この享受者はファシズムだ; int1 & assump1 -> int2: この享受者は甘酸っぱくてファシズムだ; fact23 -> int3: もしもこの享受者は甘酸っぱいしその上ファシズムであるとしたらそれは宜しくない; int2 & int3 -> int4: この享受者は宜しくない; fact7 -> int5: この享受者がごっついならば宜しい; fact8 -> int6: もしこの享受者が開示請求だとしたらそれはごっつい; int6 & fact19 -> int7: この享受者はごっつい; int5 & int7 -> int8: この享受者は宜しい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この享受者はファシズムでない; int10 & 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から、推論1: "この享受者は甘酸っぱい"が導かれる
2. 仮定1: 以下のように仮定する。この享受者はファシズムだ
3. 推論1と仮定1から、推論2: "この享受者は甘酸っぱくてファシズムだ"が導かれる
4. 事実23から、推論3: "もしもこの享受者は甘酸っぱいしその上ファシズムであるとしたらそれは宜しくない"が導かれる
5. 推論2と推論3から、推論4: "この享受者は宜しくない"が導かれる
6. 事実7から、推論5: "この享受者がごっついならば宜しい"が導かれる
7. 事実8から、推論6: "もしこの享受者が開示請求だとしたらそれはごっつい"が導かれる
8. 推論6と事実19から、推論7: "この享受者はごっつい"が導かれる
9. 推論5と推論7から、推論8: "この享受者は宜しい"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この享受者はファシズムでない"が導かれる
12. 推論10と事実11から、仮説が否定される

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