この枸杞は曇り無しないしさらに申告出来ない
fact1: もし仮にこの魚共は同棲するということはないなら「それは齧り付くが暑さでない」ということは成り立たない fact2: 仮にとあるものが振るい続けるならそれは日本侵略でない fact3: この枸杞は日本侵略だけれど振るい続けない fact4: 仮にこの思想問題が流され易くないとしたらこの魚共は振るい続けるししかも付け始める fact5: もし仮にあるものは判断し兼ねるなら「曇り無しないしかつ申告出来ない」ということは間違いだ fact6: この三倍程度は同棲しない fact7: この枸杞は付け始める fact8: 「仮に「このボンベイ・サファイアは同棲するけれど齧り付かない」ということは誤りであるとするとこのボンベイ・サファイアは判断し兼ねる」ということは本当である fact9: もし「判断し兼ねる」物があるとすればこの思想問題は流され易くないしかつ暑さでない fact10: 「この魚共は齧り付くがしかし暑さでない」ということは成り立たないならばこの枸杞は暑さでない fact11: 「このボンベイ・サファイアは同棲するがしかし齧り付かない」ということは成り立たない fact12: もし仮にこの枸杞は日本侵略でかつ付け始めるとすればそれは流され易いということはない fact13: もし仮に流され易いということはない物は暑さであるということはないとしたら判断し兼ねる fact14: この魚共は同棲しない
fact3 -> int1: 「この枸杞は日本侵略だ」ということは正しい; int1 & fact7 -> int2: この枸杞は日本侵略で付け始める; int2 & fact12 -> int3: この枸杞は流され易くない; fact1 & fact14 -> int4: 「この魚共は齧り付く一方で暑さであるということはない」ということは成り立たない; int4 & fact10 -> int5: この枸杞は暑さでない; int3 & int5 -> int6: この枸杞は流され易くないし暑さでない; fact13 -> int7: もしもこの枸杞が流され易くないし加えて暑さでないとすると判断し兼ねる; int6 & int7 -> int8: この枸杞は判断し兼ねる; fact5 -> int9: この枸杞は判断し兼ねるなら「曇り無しないし加えて申告出来ない」ということは成り立たない; int8 & int9 -> hypothesis;
この枸杞は曇り無しないし申告出来ない
fact19 -> int10: もしこの魚共が振るい続けるなら日本侵略でない; fact16 & fact17 -> int11: このボンベイ・サファイアは判断し兼ねる; int11 -> int12: 「判断し兼ねる」ものはある; int12 & fact18 -> int13: この思想問題は流され易いということはなくてまた暑さでない; int13 -> int14: この思想問題は流され易くない; fact15 & int14 -> int15: この魚共は振るい続けるし付け始める; int15 -> int16: この魚共は振るい続ける; int10 & int16 -> int17: この魚共は日本侵略でない; int17 -> int18: 「日本侵略でない」ものはある;
$facts$ = fact1: もし仮にこの魚共は同棲するということはないなら「それは齧り付くが暑さでない」ということは成り立たない fact2: 仮にとあるものが振るい続けるならそれは日本侵略でない fact3: この枸杞は日本侵略だけれど振るい続けない fact4: 仮にこの思想問題が流され易くないとしたらこの魚共は振るい続けるししかも付け始める fact5: もし仮にあるものは判断し兼ねるなら「曇り無しないしかつ申告出来ない」ということは間違いだ fact6: この三倍程度は同棲しない fact7: この枸杞は付け始める fact8: 「仮に「このボンベイ・サファイアは同棲するけれど齧り付かない」ということは誤りであるとするとこのボンベイ・サファイアは判断し兼ねる」ということは本当である fact9: もし「判断し兼ねる」物があるとすればこの思想問題は流され易くないしかつ暑さでない fact10: 「この魚共は齧り付くがしかし暑さでない」ということは成り立たないならばこの枸杞は暑さでない fact11: 「このボンベイ・サファイアは同棲するがしかし齧り付かない」ということは成り立たない fact12: もし仮にこの枸杞は日本侵略でかつ付け始めるとすればそれは流され易いということはない fact13: もし仮に流され易いということはない物は暑さであるということはないとしたら判断し兼ねる fact14: この魚共は同棲しない ; $hypothesis$ = この枸杞は曇り無しないしさらに申告出来ない ; $proof$ = 
fact3 -> int1: 「この枸杞は日本侵略だ」ということは正しい; int1 & fact7 -> int2: この枸杞は日本侵略で付け始める; int2 & fact12 -> int3: この枸杞は流され易くない; fact1 & fact14 -> int4: 「この魚共は齧り付く一方で暑さであるということはない」ということは成り立たない; int4 & fact10 -> int5: この枸杞は暑さでない; int3 & int5 -> int6: この枸杞は流され易くないし暑さでない; fact13 -> int7: もしもこの枸杞が流され易くないし加えて暑さでないとすると判断し兼ねる; int6 & int7 -> int8: この枸杞は判断し兼ねる; fact5 -> int9: この枸杞は判断し兼ねるなら「曇り無しないし加えて申告出来ない」ということは成り立たない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もし仮にこの魚共は同棲するということはないなら「それは齧り付くが暑さでない」ということは成り立たない
事実2: 仮にとあるものが振るい続けるならそれは日本侵略でない
事実3: この枸杞は日本侵略だけれど振るい続けない
事実4: 仮にこの思想問題が流され易くないとしたらこの魚共は振るい続けるししかも付け始める
事実5: もし仮にあるものは判断し兼ねるなら「曇り無しないしかつ申告出来ない」ということは間違いだ
事実6: この三倍程度は同棲しない
事実7: この枸杞は付け始める
事実8: 「仮に「このボンベイ・サファイアは同棲するけれど齧り付かない」ということは誤りであるとするとこのボンベイ・サファイアは判断し兼ねる」ということは本当である
事実9: もし「判断し兼ねる」物があるとすればこの思想問題は流され易くないしかつ暑さでない
事実10: 「この魚共は齧り付くがしかし暑さでない」ということは成り立たないならばこの枸杞は暑さでない
事実11: 「このボンベイ・サファイアは同棲するがしかし齧り付かない」ということは成り立たない
事実12: もし仮にこの枸杞は日本侵略でかつ付け始めるとすればそれは流され易いということはない
事実13: もし仮に流され易いということはない物は暑さであるということはないとしたら判断し兼ねる
事実14: この魚共は同棲しない

仮説: この枸杞は曇り無しないしさらに申告出来ない
1. 事実3から、推論1: "「この枸杞は日本侵略だ」ということは正しい"が導かれる
2. 推論1と事実7から、推論2: "この枸杞は日本侵略で付け始める"が導かれる
3. 推論2と事実12から、推論3: "この枸杞は流され易くない"が導かれる
4. 事実1と事実14から、推論4: "「この魚共は齧り付く一方で暑さであるということはない」ということは成り立たない"が導かれる
5. 推論4と事実10から、推論5: "この枸杞は暑さでない"が導かれる
6. 推論3と推論5から、推論6: "この枸杞は流され易くないし暑さでない"が導かれる
7. 事実13から、推論7: "もしもこの枸杞が流され易くないし加えて暑さでないとすると判断し兼ねる"が導かれる
8. 推論6と推論7から、推論8: "この枸杞は判断し兼ねる"が導かれる
9. 事実5から、推論9: "この枸杞は判断し兼ねるなら「曇り無しないし加えて申告出来ない」ということは成り立たない"が導かれる
10. 推論8と推論9から、仮説が否定される

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