この町角は清しない
fact1: 仮に砂場が研究組織でないとすれば清しない fact2: もし仮にこの匂袋はレースであるとすればマッサージ出来る fact3: もし仮に何かは砂場でないならば「三田文学でないかあるいは憔悴する」ということは成り立たない fact4: 仮にあの小邦が清しない一方で怠いとすれば振り続ける fact5: もしもあの小邦が振り続けるとしたらあの主翼付け根は読み取る fact6: 仮にあの小邦は研究組織だとしたら「この匂袋はＣセブンでないかまたは読み取るか両方ともである」ということは成り立たない fact7: 仮にこの匂袋がマッサージ出来るならあの小邦は清しないが怠い fact8: もしあの板壁が振り続けるとすればこの町角は憔悴する fact9: もし「何かはＣセブンであるしかつそれは砂場である」ということは間違っていればそれは砂場でない fact10: もしもある物が憔悴するとするとそれは清し fact11: 仮に「あの主翼付け根は砂場だ」ということは事実だとすればあの小邦は研究組織だ fact12: 仮に「「自作農創設であるしそれに当たり難くない」ということは間違いな」物があるとしたらあの主翼付け根は砂場である fact13: 仮に何かは研究組織でないとしたら「それはＣセブンであるしそれは砂場だ」ということは嘘である fact14: 「「自作農創設であるしかつ当たり難くない」ということは成り立つということはない」ものはある fact15: 仮に「「Ｃセブンでないか読み取るかどちらもである」ということは間違っている」ものがあるとしたらあの板壁は振り続ける
fact14 & fact12 -> int1: あの主翼付け根は砂場である; int1 & fact11 -> int2: あの小邦は研究組織である; int2 & fact6 -> int3: 「この匂袋はＣセブンでないか読み取る」ということは成り立たない; int3 -> int4: 「「「Ｃセブンでないか読み取るかまたは両方ともである」ということは本当でない」物はある」ということは真実である; int4 & fact15 -> int5: あの板壁は振り続ける; int5 & fact8 -> int6: この町角は憔悴する; fact10 -> int7: もしもこの町角が憔悴するとするとそれは清し; int6 & int7 -> hypothesis;
「あの板壁は三田文学でないかまたは憔悴するか両方ともである」ということは誤っている
fact16 -> int8: 仮にあの板壁は砂場だということはないとすれば「それは三田文学でないかまたは憔悴するかまたはどちらもである」ということは誤りである; fact17 -> int9: もし仮に「あの板壁はＣセブンでしかも砂場である」ということは間違いだとしたらそれは砂場だということはない; fact18 -> int10: もしもあの板壁は研究組織でないなら「それはＣセブンだし砂場だ」ということは成り立たない;
$facts$ = fact1: 仮に砂場が研究組織でないとすれば清しない fact2: もし仮にこの匂袋はレースであるとすればマッサージ出来る fact3: もし仮に何かは砂場でないならば「三田文学でないかあるいは憔悴する」ということは成り立たない fact4: 仮にあの小邦が清しない一方で怠いとすれば振り続ける fact5: もしもあの小邦が振り続けるとしたらあの主翼付け根は読み取る fact6: 仮にあの小邦は研究組織だとしたら「この匂袋はＣセブンでないかまたは読み取るか両方ともである」ということは成り立たない fact7: 仮にこの匂袋がマッサージ出来るならあの小邦は清しないが怠い fact8: もしあの板壁が振り続けるとすればこの町角は憔悴する fact9: もし「何かはＣセブンであるしかつそれは砂場である」ということは間違っていればそれは砂場でない fact10: もしもある物が憔悴するとするとそれは清し fact11: 仮に「あの主翼付け根は砂場だ」ということは事実だとすればあの小邦は研究組織だ fact12: 仮に「「自作農創設であるしそれに当たり難くない」ということは間違いな」物があるとしたらあの主翼付け根は砂場である fact13: 仮に何かは研究組織でないとしたら「それはＣセブンであるしそれは砂場だ」ということは嘘である fact14: 「「自作農創設であるしかつ当たり難くない」ということは成り立つということはない」ものはある fact15: 仮に「「Ｃセブンでないか読み取るかどちらもである」ということは間違っている」ものがあるとしたらあの板壁は振り続ける ; $hypothesis$ = この町角は清しない ; $proof$ = 
fact14 & fact12 -> int1: あの主翼付け根は砂場である; int1 & fact11 -> int2: あの小邦は研究組織である; int2 & fact6 -> int3: 「この匂袋はＣセブンでないか読み取る」ということは成り立たない; int3 -> int4: 「「「Ｃセブンでないか読み取るかまたは両方ともである」ということは本当でない」物はある」ということは真実である; int4 & fact15 -> int5: あの板壁は振り続ける; int5 & fact8 -> int6: この町角は憔悴する; fact10 -> int7: もしもこの町角が憔悴するとするとそれは清し; int6 & int7 -> hypothesis; __DISPROVED__
事実1: 仮に砂場が研究組織でないとすれば清しない
事実2: もし仮にこの匂袋はレースであるとすればマッサージ出来る
事実3: もし仮に何かは砂場でないならば「三田文学でないかあるいは憔悴する」ということは成り立たない
事実4: 仮にあの小邦が清しない一方で怠いとすれば振り続ける
事実5: もしもあの小邦が振り続けるとしたらあの主翼付け根は読み取る
事実6: 仮にあの小邦は研究組織だとしたら「この匂袋はＣセブンでないかまたは読み取るか両方ともである」ということは成り立たない
事実7: 仮にこの匂袋がマッサージ出来るならあの小邦は清しないが怠い
事実8: もしあの板壁が振り続けるとすればこの町角は憔悴する
事実9: もし「何かはＣセブンであるしかつそれは砂場である」ということは間違っていればそれは砂場でない
事実10: もしもある物が憔悴するとするとそれは清し
事実11: 仮に「あの主翼付け根は砂場だ」ということは事実だとすればあの小邦は研究組織だ
事実12: 仮に「「自作農創設であるしそれに当たり難くない」ということは間違いな」物があるとしたらあの主翼付け根は砂場である
事実13: 仮に何かは研究組織でないとしたら「それはＣセブンであるしそれは砂場だ」ということは嘘である
事実14: 「「自作農創設であるしかつ当たり難くない」ということは成り立つということはない」ものはある
事実15: 仮に「「Ｃセブンでないか読み取るかどちらもである」ということは間違っている」ものがあるとしたらあの板壁は振り続ける

仮説: この町角は清しない
1. 事実14と事実12から、推論1: "あの主翼付け根は砂場である"が導かれる
2. 推論1と事実11から、推論2: "あの小邦は研究組織である"が導かれる
3. 推論2と事実6から、推論3: "「この匂袋はＣセブンでないか読み取る」ということは成り立たない"が導かれる
4. 推論3から、推論4: "「「「Ｃセブンでないか読み取るかまたは両方ともである」ということは本当でない」物はある」ということは真実である"が導かれる
5. 推論4と事実15から、推論5: "あの板壁は振り続ける"が導かれる
6. 推論5と事実8から、推論6: "この町角は憔悴する"が導かれる
7. 事実10から、推論7: "もしもこの町角が憔悴するとするとそれは清し"が導かれる
8. 推論6と推論7から、仮説が否定される

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