「「身軽くない」ものはある」ということは間違っている
fact1: 「その軍事性は出易くて泣き疲れる」ということは偽だ fact2: もしその原因疾患が出易くないとしたらその軍事性はすーごい fact3: もしもその軍事性がコントロールし易くないとするとその溶剤は泣き疲れる fact4: もしもなにがしかのものは文化政治学であるとするとそれは清い fact5: その拝殿はコントロールし易い fact6: 「もしもその軍事性が清くないならばその軍事性は泣き疲れない」ということは成り立つ fact7: もし仮にその軍事性が泣き疲れないとすればそれは清くない fact8: 仮に「その軍事性は出易くて更に泣き疲れる」ということは偽だとしたらその原因疾患はすーごくない fact9: もしも「その軍事性は出易くない」ということは成り立てばその原因疾患はすーごくない fact10: その御狆はむず痒くない fact11: もしあのＰＣセンターが所狭くないとするとそれは清くない fact12: とある物は出易くないとすれば「それは文化政治学でない」ということは真実だ fact13: もし何かは出易いなら「コントロールし易い」ということは成り立つ fact14: その溶剤は清い fact15: 「身軽い」物はある fact16: その軍事性はリング部分でない fact17: 「その軍事性はすーごいしおまけに出易い」ということは間違いである fact18: コントロールし易くないものは身軽いということはない fact19: もし仮にあのＰＣセンターが清いならばコントロールし易い fact20: もし「あのＰＣセンターは清い」ということは成り立つとしたらその溶剤は清い fact21: もし仮にあのＰＣセンターが清いならばその溶剤はコントロールし易くないけれどそれは清い fact22: 仮にある物が例うなら誤解され易い fact23: 仮にその原因疾患がすーごくないとするとあのＰＣセンターは文化政治学である
fact8 & fact1 -> int1: その原因疾患はすーごくない; int1 & fact23 -> int2: あのＰＣセンターは文化政治学である; fact4 -> int3: もしもあのＰＣセンターは文化政治学だとすると「それは清い」ということは事実である; int2 & int3 -> int4: あのＰＣセンターは清い; int4 & fact21 -> int5: その溶剤はコントロールし易くないけれど清い; int5 -> int6: その溶剤はコントロールし易くない; fact18 -> int7: 仮にその溶剤はコントロールし易くないとすると身軽くない; int6 & int7 -> int8: 「その溶剤は身軽くない」ということは確かだ; int8 -> hypothesis;
$facts$ = fact1: 「その軍事性は出易くて泣き疲れる」ということは偽だ fact2: もしその原因疾患が出易くないとしたらその軍事性はすーごい fact3: もしもその軍事性がコントロールし易くないとするとその溶剤は泣き疲れる fact4: もしもなにがしかのものは文化政治学であるとするとそれは清い fact5: その拝殿はコントロールし易い fact6: 「もしもその軍事性が清くないならばその軍事性は泣き疲れない」ということは成り立つ fact7: もし仮にその軍事性が泣き疲れないとすればそれは清くない fact8: 仮に「その軍事性は出易くて更に泣き疲れる」ということは偽だとしたらその原因疾患はすーごくない fact9: もしも「その軍事性は出易くない」ということは成り立てばその原因疾患はすーごくない fact10: その御狆はむず痒くない fact11: もしあのＰＣセンターが所狭くないとするとそれは清くない fact12: とある物は出易くないとすれば「それは文化政治学でない」ということは真実だ fact13: もし何かは出易いなら「コントロールし易い」ということは成り立つ fact14: その溶剤は清い fact15: 「身軽い」物はある fact16: その軍事性はリング部分でない fact17: 「その軍事性はすーごいしおまけに出易い」ということは間違いである fact18: コントロールし易くないものは身軽いということはない fact19: もし仮にあのＰＣセンターが清いならばコントロールし易い fact20: もし「あのＰＣセンターは清い」ということは成り立つとしたらその溶剤は清い fact21: もし仮にあのＰＣセンターが清いならばその溶剤はコントロールし易くないけれどそれは清い fact22: 仮にある物が例うなら誤解され易い fact23: 仮にその原因疾患がすーごくないとするとあのＰＣセンターは文化政治学である ; $hypothesis$ = 「「身軽くない」ものはある」ということは間違っている ; $proof$ = 
fact8 & fact1 -> int1: その原因疾患はすーごくない; int1 & fact23 -> int2: あのＰＣセンターは文化政治学である; fact4 -> int3: もしもあのＰＣセンターは文化政治学だとすると「それは清い」ということは事実である; int2 & int3 -> int4: あのＰＣセンターは清い; int4 & fact21 -> int5: その溶剤はコントロールし易くないけれど清い; int5 -> int6: その溶剤はコントロールし易くない; fact18 -> int7: 仮にその溶剤はコントロールし易くないとすると身軽くない; int6 & int7 -> 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: 仮にある物が例うなら誤解され易い
事実23: 仮にその原因疾患がすーごくないとするとあのＰＣセンターは文化政治学である

仮説: 「「身軽くない」ものはある」ということは間違っている
1. 事実8と事実1から、推論1: "その原因疾患はすーごくない"が導かれる
2. 推論1と事実23から、推論2: "あのＰＣセンターは文化政治学である"が導かれる
3. 事実4から、推論3: "もしもあのＰＣセンターは文化政治学だとすると「それは清い」ということは事実である"が導かれる
4. 推論2と推論3から、推論4: "あのＰＣセンターは清い"が導かれる
5. 推論4と事実21から、推論5: "その溶剤はコントロールし易くないけれど清い"が導かれる
6. 推論5から、推論6: "その溶剤はコントロールし易くない"が導かれる
7. 事実18から、推論7: "仮にその溶剤はコントロールし易くないとすると身軽くない"が導かれる
8. 推論6と推論7から、推論8: "「その溶剤は身軽くない」ということは確かだ"が導かれる
9. 推論8から、仮説が否定される

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