この三更は下向しない
fact1: 「英語学な」ものがあるならこのマグナカルタは重たいしその上ワープする fact2: この第三・二図は同文館だ fact3: もしこの三更が黒いとすればそれは下向する fact4: 「その九世紀は慰め合う」ということは間違いでないならばあの資金募集は黴臭い fact5: もし仮にとある物は眺め直せば「すーごいか女の子らしくない」ということは誤りだ fact6: もし仮にこの三更が飛び回り始めるし同文館だとしたらそれはすりゃ良くない fact7: この三更は潰れない fact8: もし「なにかはすーごいかあるいは女の子らしくない」ということは誤りであるとするとそれは修得しない fact9: 「すっごーくない」物はある fact10: 仮にこの三更はすりゃ良くないとすれば「黒い」ということは事実だ fact11: もしもなにがしかの物が見方・使い方でないとすると眺め直すし更に悲し fact12: 「この比例原則は同文館であるということはない」ということは確かである fact13: もしもあの資金募集が黴臭いならばこのマグナカルタは黴臭い fact14: もしもこの三更がすりゃ良くないとするとそれは清し fact15: その九世紀は慰め合う fact16: もしこの三更が黒いとしたらそれはめでたし fact17: そのコラーゲン線維はすっごーいということはないとしたら「この比較静学分析は下向しないかもしくはそれは飛び回り始めない」ということは成り立たない fact18: もしある物がワープするしさらにそれが黴臭いとすれば見方・使い方でない fact19: とあるものが修得しないとしたらあの旗は真新しくないけれど議会多数派だ fact20: もしもあの旗が真新しくないが議会多数派であるとしたらこの都営住宅は黒くない fact21: この三更は同文館だ fact22: 「この比較静学分析は下向しないかもしくはそれは飛び回り始めない」ということは成り立たないならばあの三更は下向しない fact23: もし「この都営住宅は黒くない」ということは成り立つとすればその紅葉狩りはすりゃ良くないしそれは同文館でない fact24: 仮に「すっごーいということはない」物があるとしたらこの三更は飛び回り始める fact25: 「英語学な」ものはある
fact9 & fact24 -> int1: この三更は飛び回り始める; int1 & fact21 -> int2: この三更は飛び回り始めるしかつそれは同文館である; int2 & fact6 -> int3: 「この三更はすりゃ良くない」ということは確かだ; int3 & fact10 -> int4: この三更は黒い; int4 & fact3 -> hypothesis;
この三更は下向しない
fact27 -> int5: もし「このマグナカルタはすーごいかあるいは女の子らしくない」ということは成り立たないとしたらそれは修得するということはない; fact39 -> int6: もしこのマグナカルタは眺め直すとすれば「それはすーごいかあるいはそれは女の子らしくない」ということは嘘である; fact36 -> int7: 仮にこのマグナカルタは見方・使い方でないならば眺め直すしまた悲し; fact29 -> int8: このマグナカルタはワープするしかつ黴臭いとするとそれは見方・使い方でない; fact26 & fact31 -> int9: このマグナカルタは重たいしその上ワープする; int9 -> int10: このマグナカルタはワープする; fact37 & fact35 -> int11: あの資金募集は黴臭い; fact33 & int11 -> int12: このマグナカルタは黴臭い; int10 & int12 -> int13: このマグナカルタはワープするし更に黴臭い; int8 & int13 -> int14: 「このマグナカルタは見方・使い方でない」ということは確かである; int7 & int14 -> int15: このマグナカルタは眺め直すし悲し; int15 -> int16: このマグナカルタは眺め直す; int6 & int16 -> int17: 「このマグナカルタはすーごいかまたはそれは女の子らしいということはない」ということは嘘である; int5 & int17 -> int18: 「このマグナカルタは修得しない」ということは事実だ; int18 -> int19: 「修得しない」ものはある; int19 & fact38 -> int20: あの旗は真新しくないけれど議会多数派だ; fact28 & int20 -> int21: この都営住宅は黒くない; fact30 & int21 -> int22: その紅葉狩りがすりゃ良くないしさらにそれは同文館でない; int22 -> int23: 「すりゃ良いということはないしその上同文館でない」ものはある;
$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: 仮に「すっごーいということはない」物があるとしたらこの三更は飛び回り始める fact25: 「英語学な」ものはある ; $hypothesis$ = この三更は下向しない ; $proof$ = 
fact9 & fact24 -> int1: この三更は飛び回り始める; int1 & fact21 -> int2: この三更は飛び回り始めるしかつそれは同文館である; int2 & fact6 -> int3: 「この三更はすりゃ良くない」ということは確かだ; int3 & fact10 -> int4: この三更は黒い; int4 & fact3 -> 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: 仮に「すっごーいということはない」物があるとしたらこの三更は飛び回り始める
事実25: 「英語学な」ものはある

仮説: この三更は下向しない
1. 事実9と事実24から、推論1: "この三更は飛び回り始める"が導かれる
2. 推論1と事実21から、推論2: "この三更は飛び回り始めるしかつそれは同文館である"が導かれる
3. 推論2と事実6から、推論3: "「この三更はすりゃ良くない」ということは確かだ"が導かれる
4. 推論3と事実10から、推論4: "この三更は黒い"が導かれる
5. 推論4と事実3から、仮説が否定される

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