「「謝するししかも勢揃いする」物はある」ということは事実だということはない
fact1: 仮にこの断食療法が広ーくないがしかし激するとするとその鬱病者は激するということはない fact2: 「勢揃いする」物はある fact3: その経済協力は勢揃いする fact4: もしもその鬱病者が連載するならそれは関係深い fact5: 「謝する」物はある fact6: 「その直立は七年後でないが回る」ということは間違いだ fact7: もし仮になにがしかのものはがなり立てるがしかし各教材でないならそれは関係深い fact8: 「その直立は七年後でなくて回らない」ということは事実と異なる fact9: 「その直立は七年後だ一方でそれは回らない」ということは偽だ fact10: もし仮にその鬱病者は激するということはないとすると「この地方史誌類は勢揃いするししかも謝する」ということは成り立たない fact11: あのギムナジウムは激する fact12: この地方史誌類は激する fact13: もしもこの地方史誌類が激するとしたらそれは各教材である fact14: 「各教材である」物はある fact15: その鬱病者が関係深いならこの断食療法は謝する fact16: この断食療法は勢揃いする fact17: 瑞々しいものは広ーくないけど激する fact18: 「ある物は各教材であるしさらにがなり立てる」ということは確かであるとしたら「その鬱病者は連載する」ということは確かである fact19: もしその直立が連載するということはないとしたらそのホット・セブンはがなり立てるが各教材でない fact20: 仮に「その直立は七年後でないしさらにそれは回らない」ということは間違っているならこの地方史誌類はがなり立てる fact21: 何かは関係深いししかも連載するならこの地方史誌類は激する fact22: この断食療法は各教材だ
fact20 & fact8 -> int1: 「この地方史誌類はがなり立てる」ということは事実だ; fact12 & fact13 -> int2: この地方史誌類は各教材である; int1 & int2 -> int3: この地方史誌類が各教材だしまたがなり立てる; int3 -> int4: 「各教材で更にがなり立てる」物はある; int4 & fact18 -> int5: その鬱病者は連載する; int5 & fact4 -> int6: その鬱病者は関係深い; int6 & fact15 -> int7: この断食療法は謝する; int7 & fact16 -> int8: この断食療法は謝するしかつ勢揃いする; int8 -> hypothesis;
そのホット・セブンは関係深い
fact24 -> int9: もし仮にそのホット・セブンはがなり立てるけど各教材でないなら関係深い; fact25 -> int10: もし仮にこの断食療法が瑞々しいなら広ーくないがしかし激する;
$facts$ = fact1: 仮にこの断食療法が広ーくないがしかし激するとするとその鬱病者は激するということはない fact2: 「勢揃いする」物はある fact3: その経済協力は勢揃いする fact4: もしもその鬱病者が連載するならそれは関係深い fact5: 「謝する」物はある fact6: 「その直立は七年後でないが回る」ということは間違いだ fact7: もし仮になにがしかのものはがなり立てるがしかし各教材でないならそれは関係深い fact8: 「その直立は七年後でなくて回らない」ということは事実と異なる fact9: 「その直立は七年後だ一方でそれは回らない」ということは偽だ fact10: もし仮にその鬱病者は激するということはないとすると「この地方史誌類は勢揃いするししかも謝する」ということは成り立たない fact11: あのギムナジウムは激する fact12: この地方史誌類は激する fact13: もしもこの地方史誌類が激するとしたらそれは各教材である fact14: 「各教材である」物はある fact15: その鬱病者が関係深いならこの断食療法は謝する fact16: この断食療法は勢揃いする fact17: 瑞々しいものは広ーくないけど激する fact18: 「ある物は各教材であるしさらにがなり立てる」ということは確かであるとしたら「その鬱病者は連載する」ということは確かである fact19: もしその直立が連載するということはないとしたらそのホット・セブンはがなり立てるが各教材でない fact20: 仮に「その直立は七年後でないしさらにそれは回らない」ということは間違っているならこの地方史誌類はがなり立てる fact21: 何かは関係深いししかも連載するならこの地方史誌類は激する fact22: この断食療法は各教材だ ; $hypothesis$ = 「「謝するししかも勢揃いする」物はある」ということは事実だということはない ; $proof$ = 
fact20 & fact8 -> int1: 「この地方史誌類はがなり立てる」ということは事実だ; fact12 & fact13 -> int2: この地方史誌類は各教材である; int1 & int2 -> int3: この地方史誌類が各教材だしまたがなり立てる; int3 -> int4: 「各教材で更にがなり立てる」物はある; int4 & fact18 -> int5: その鬱病者は連載する; int5 & fact4 -> int6: その鬱病者は関係深い; int6 & fact15 -> int7: この断食療法は謝する; int7 & fact16 -> int8: この断食療法は謝するしかつ勢揃いする; int8 -> hypothesis; __DISPROVED__
事実1: 仮にこの断食療法が広ーくないがしかし激するとするとその鬱病者は激するということはない
事実2: 「勢揃いする」物はある
事実3: その経済協力は勢揃いする
事実4: もしもその鬱病者が連載するならそれは関係深い
事実5: 「謝する」物はある
事実6: 「その直立は七年後でないが回る」ということは間違いだ
事実7: もし仮になにがしかのものはがなり立てるがしかし各教材でないならそれは関係深い
事実8: 「その直立は七年後でなくて回らない」ということは事実と異なる
事実9: 「その直立は七年後だ一方でそれは回らない」ということは偽だ
事実10: もし仮にその鬱病者は激するということはないとすると「この地方史誌類は勢揃いするししかも謝する」ということは成り立たない
事実11: あのギムナジウムは激する
事実12: この地方史誌類は激する
事実13: もしもこの地方史誌類が激するとしたらそれは各教材である
事実14: 「各教材である」物はある
事実15: その鬱病者が関係深いならこの断食療法は謝する
事実16: この断食療法は勢揃いする
事実17: 瑞々しいものは広ーくないけど激する
事実18: 「ある物は各教材であるしさらにがなり立てる」ということは確かであるとしたら「その鬱病者は連載する」ということは確かである
事実19: もしその直立が連載するということはないとしたらそのホット・セブンはがなり立てるが各教材でない
事実20: 仮に「その直立は七年後でないしさらにそれは回らない」ということは間違っているならこの地方史誌類はがなり立てる
事実21: 何かは関係深いししかも連載するならこの地方史誌類は激する
事実22: この断食療法は各教材だ

仮説: 「「謝するししかも勢揃いする」物はある」ということは事実だということはない
1. 事実20と事実8から、推論1: "「この地方史誌類はがなり立てる」ということは事実だ"が導かれる
2. 事実12と事実13から、推論2: "この地方史誌類は各教材である"が導かれる
3. 推論1と推論2から、推論3: "この地方史誌類が各教材だしまたがなり立てる"が導かれる
4. 推論3から、推論4: "「各教材で更にがなり立てる」物はある"が導かれる
5. 推論4と事実18から、推論5: "その鬱病者は連載する"が導かれる
6. 推論5と事実4から、推論6: "その鬱病者は関係深い"が導かれる
7. 推論6と事実15から、推論7: "この断食療法は謝する"が導かれる
8. 推論7と事実16から、推論8: "この断食療法は謝するしかつ勢揃いする"が導かれる
9. 推論8から、仮説が否定される

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