この潟は亀虫である
fact1: 仮にその雪上車は同窓会であるとすれば幼い fact2: この潟が亀虫ならばそれは抗腫瘍活性である fact3: この潟がパリ会議だ一方で関係深いということはないとすれば亀虫だ fact4: もしその染色は株主でないが亀虫だとしたらパリ会議である fact5: もしとあるものは株主であるとするとそれはパリ会議である fact6: 仮に「あの産別組織は枯らさないしそれは観察会でない」ということは誤りならその組み合わせは枯らす fact7: 「その染色は関係深くないしさらに濃やかさでない」ということは真実でないとすればこの潟は亀虫でない fact8: もしもこの潟が株主でないとすればそのセフティ・レバーは関係深いしさらにそれはパリ会議だ fact9: もし仮にとある物は吸い込まないが止めど無いならそれは内有毛細胞だ fact10: もし関係深い物は濃やかさでないならばそれは株主である fact11: なにがしかの物が株主でないがしかし亀虫なら「それは濃やかさである」ということは本当である fact12: もし仮に関係深くないものは濃やかさでないとするとそれは株主だ fact13: 仮に濃やかさが関係深くないとすると亀虫だ fact14: 仮にある物が怪我するがしかしグリシンだということはないなら「相前後する」ということは成り立つ fact15: この潟は削り落とさない fact16: 仮にその大衆向けが枯らさないが不正確さであるとしたらそれは貢ぐ fact17: 「なんらかの物は牛埋葬坑でないけどそれは見え易い」ということは間違いであるとしたら株主でない fact18: もしその染色が関係深くないけどそれは濃やかさであるとすると株主である fact19: 仮にこの潟が濃やかさでなくておまけに亀虫でないならば「パリ会議だ」ということは真実だ fact20: もしも「その組み合わせは枯らす」ということは確かなら「この潟は枯らさない」ということは成り立つ fact21: もしこの潟が完遂出来るとするとそれはどうしても欲しい fact22: その染色はパリ会議でない fact23: とある物は枯らさないとすると「牛埋葬坑でないし見え易い」ということは嘘だ fact24: 「その染色は濃やかさでないがプラクティスである」ということは間違いだ
fact12 -> int1: もし仮にその染色が関係深くなくて更に濃やかさでないとすれば「それは株主でない」ということは間違いである; void -> assump1: 以下のように仮定する。その染色は関係深くないし濃やかさでない; int1 & assump1 -> int2: その染色は株主だ; fact5 -> int3: もし仮にその染色は株主であるならばパリ会議だ; int2 & int3 -> int4: その染色はパリ会議である; int4 & fact22 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その染色は関係深くないものでそれに濃やかさでない」ということは誤りである; int6 & fact7 -> hypothesis;
この潟は亀虫だ
fact28 -> int7: 仮に「この潟は牛埋葬坑だということはないがそれは見え易い」ということは成り立たないとしたら株主でない; fact27 -> int8: 仮にこの潟は枯らさないとしたら「それは牛埋葬坑でないけれど見え易い」ということは嘘である;
$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$ = 
fact12 -> int1: もし仮にその染色が関係深くなくて更に濃やかさでないとすれば「それは株主でない」ということは間違いである; void -> assump1: 以下のように仮定する。その染色は関係深くないし濃やかさでない; int1 & assump1 -> int2: その染色は株主だ; fact5 -> int3: もし仮にその染色は株主であるならばパリ会議だ; int2 & int3 -> int4: その染色はパリ会議である; int4 & fact22 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その染色は関係深くないものでそれに濃やかさでない」ということは誤りである; int6 & fact7 -> 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. 事実12から、推論1: "もし仮にその染色が関係深くなくて更に濃やかさでないとすれば「それは株主でない」ということは間違いである"が導かれる
2. 仮定1: 以下のように仮定する。その染色は関係深くないし濃やかさでない
3. 推論1と仮定1から、推論2: "その染色は株主だ"が導かれる
4. 事実5から、推論3: "もし仮にその染色は株主であるならばパリ会議だ"が導かれる
5. 推論2と推論3から、推論4: "その染色はパリ会議である"が導かれる
6. 推論4と事実22から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その染色は関係深くないものでそれに濃やかさでない」ということは誤りである"が導かれる
8. 推論6と事実7から、仮説が否定される

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