「この非農業民は出走しないかもしくは高純度である」ということは間違っている
fact1: あの皮膚保護剤は右前であるかもしくは拒否するかどちらもである fact2: 「進駐する」ものはある fact3: 「あの皮膚保護剤は持ち堪えないけど拒否する」ということは成り立つということはないとするとその九十五戦は出走しない fact4: もしこの水辺空間がサラセン人であるかもしくは押さえ難くないかもしくは両方ともならばこの自由意見は右前であるということはない fact5: もし仮に「進駐する」物があるとするとこの水辺空間はサラセン人であるか押さえ難くない fact6: もし仮に「なにかは進駐する」ということは成り立つとしたらそれは低コスト化であるかまたは弱り果てないかあるいは両方である fact7: もし仮にこの自由意見は右前であるということはないとしたら「あの皮膚保護剤は持ち堪えないけれど拒否する」ということは成り立たない fact8: 「仮にその九十五戦は出走しないなら「この非農業民は出走しないかあるいは高純度であるかまたは両方である」ということは偽だ」ということは成り立つ
fact2 & fact5 -> int1: この水辺空間はサラセン人であるか押さえ難くない; int1 & fact4 -> int2: この自由意見は右前でない; int2 & fact7 -> int3: 「「あの皮膚保護剤は持ち堪えない一方でそれは拒否する」ということは成り立たない」ということは事実である; int3 & fact3 -> int4: その九十五戦は出走しない; int4 & fact8 -> hypothesis;
この水辺空間は低コスト化であるかそれは弱り果てないかどちらもだ
fact9 -> int5: もし仮に「この水辺空間は進駐する」ということは確かだとすれば低コスト化であるかもしくはそれは弱り果てないかもしくはどちらもだ;
$facts$ = fact1: あの皮膚保護剤は右前であるかもしくは拒否するかどちらもである fact2: 「進駐する」ものはある fact3: 「あの皮膚保護剤は持ち堪えないけど拒否する」ということは成り立つということはないとするとその九十五戦は出走しない fact4: もしこの水辺空間がサラセン人であるかもしくは押さえ難くないかもしくは両方ともならばこの自由意見は右前であるということはない fact5: もし仮に「進駐する」物があるとするとこの水辺空間はサラセン人であるか押さえ難くない fact6: もし仮に「なにかは進駐する」ということは成り立つとしたらそれは低コスト化であるかまたは弱り果てないかあるいは両方である fact7: もし仮にこの自由意見は右前であるということはないとしたら「あの皮膚保護剤は持ち堪えないけれど拒否する」ということは成り立たない fact8: 「仮にその九十五戦は出走しないなら「この非農業民は出走しないかあるいは高純度であるかまたは両方である」ということは偽だ」ということは成り立つ ; $hypothesis$ = 「この非農業民は出走しないかもしくは高純度である」ということは間違っている ; $proof$ = 
fact2 & fact5 -> int1: この水辺空間はサラセン人であるか押さえ難くない; int1 & fact4 -> int2: この自由意見は右前でない; int2 & fact7 -> int3: 「「あの皮膚保護剤は持ち堪えない一方でそれは拒否する」ということは成り立たない」ということは事実である; int3 & fact3 -> int4: その九十五戦は出走しない; int4 & fact8 -> hypothesis; __PROVED__
事実1: あの皮膚保護剤は右前であるかもしくは拒否するかどちらもである
事実2: 「進駐する」ものはある
事実3: 「あの皮膚保護剤は持ち堪えないけど拒否する」ということは成り立つということはないとするとその九十五戦は出走しない
事実4: もしこの水辺空間がサラセン人であるかもしくは押さえ難くないかもしくは両方ともならばこの自由意見は右前であるということはない
事実5: もし仮に「進駐する」物があるとするとこの水辺空間はサラセン人であるか押さえ難くない
事実6: もし仮に「なにかは進駐する」ということは成り立つとしたらそれは低コスト化であるかまたは弱り果てないかあるいは両方である
事実7: もし仮にこの自由意見は右前であるということはないとしたら「あの皮膚保護剤は持ち堪えないけれど拒否する」ということは成り立たない
事実8: 「仮にその九十五戦は出走しないなら「この非農業民は出走しないかあるいは高純度であるかまたは両方である」ということは偽だ」ということは成り立つ

仮説: 「この非農業民は出走しないかもしくは高純度である」ということは間違っている
1. 事実2と事実5から、推論1: "この水辺空間はサラセン人であるか押さえ難くない"が導かれる
2. 推論1と事実4から、推論2: "この自由意見は右前でない"が導かれる
3. 推論2と事実7から、推論3: "「「あの皮膚保護剤は持ち堪えない一方でそれは拒否する」ということは成り立たない」ということは事実である"が導かれる
4. 推論3と事実3から、推論4: "その九十五戦は出走しない"が導かれる
5. 推論4と事実8から、仮説が導かれる

よって、仮説が証明されました。