あの綱は原因する一方でそれは専攻しない
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: 「四角い」ものはある fact26: 仮にあの綱が見初めるし更に下げ止まればこのスモールステップは原因しない fact27: その付保は現われ難くない fact28: 「四角くない」ものはある fact29: 仮に「四角くない」ものがあるとするとこの卒業論文は下げ止まるし漏れ易い fact30: もしその付保が現われ難いけど見辛くないとするとこの卒業論文はモデル間である
fact6 & fact16 -> int1: その連銀は復活する; int1 & fact17 -> int2: この一種は見詰め続ける; int2 & fact24 -> int3: その付保は現われ難くないしおまけに見辛いということはない; int3 & fact13 -> int4: この卒業論文はモデル間だ; fact28 & fact29 -> int5: この卒業論文は下げ止まるしまた漏れ易い; int5 -> int6: この卒業論文は下げ止まる; int4 & int6 -> int7: この卒業論文はモデル間であるしそれに下げ止まる; int7 & fact2 -> int8: その当該事業主は付和雷同しない; int8 & fact1 -> hypothesis;
その立案者は漏れ易い
fact33 -> int9: もし「この一種は見辛いしさらにそれは見詰め続ける」ということは成り立たないとすればそれは見詰め続けない; fact31 -> int10: もし仮にこの一種は現われ難くないとしたら「見辛いしその上見詰め続ける」ということは正しくない;
$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: 「四角い」ものはある fact26: 仮にあの綱が見初めるし更に下げ止まればこのスモールステップは原因しない fact27: その付保は現われ難くない fact28: 「四角くない」ものはある fact29: 仮に「四角くない」ものがあるとするとこの卒業論文は下げ止まるし漏れ易い fact30: もしその付保が現われ難いけど見辛くないとするとこの卒業論文はモデル間である ; $hypothesis$ = あの綱は原因する一方でそれは専攻しない ; $proof$ = 
fact6 & fact16 -> int1: その連銀は復活する; int1 & fact17 -> int2: この一種は見詰め続ける; int2 & fact24 -> int3: その付保は現われ難くないしおまけに見辛いということはない; int3 & fact13 -> int4: この卒業論文はモデル間だ; fact28 & fact29 -> int5: この卒業論文は下げ止まるしまた漏れ易い; int5 -> int6: この卒業論文は下げ止まる; int4 & int6 -> int7: この卒業論文はモデル間であるしそれに下げ止まる; int7 & fact2 -> int8: その当該事業主は付和雷同しない; int8 & fact1 -> 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: 「四角い」ものはある
事実26: 仮にあの綱が見初めるし更に下げ止まればこのスモールステップは原因しない
事実27: その付保は現われ難くない
事実28: 「四角くない」ものはある
事実29: 仮に「四角くない」ものがあるとするとこの卒業論文は下げ止まるし漏れ易い
事実30: もしその付保が現われ難いけど見辛くないとするとこの卒業論文はモデル間である

仮説: あの綱は原因する一方でそれは専攻しない
1. 事実6と事実16から、推論1: "その連銀は復活する"が導かれる
2. 推論1と事実17から、推論2: "この一種は見詰め続ける"が導かれる
3. 推論2と事実24から、推論3: "その付保は現われ難くないしおまけに見辛いということはない"が導かれる
4. 推論3と事実13から、推論4: "この卒業論文はモデル間だ"が導かれる
5. 事実28と事実29から、推論5: "この卒業論文は下げ止まるしまた漏れ易い"が導かれる
6. 推論5から、推論6: "この卒業論文は下げ止まる"が導かれる
7. 推論4と推論6から、推論7: "この卒業論文はモデル間であるしそれに下げ止まる"が導かれる
8. 推論7と事実2から、推論8: "その当該事業主は付和雷同しない"が導かれる
9. 推論8と事実1から、仮説が否定される

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