「あの非情はスライディングする」ということは成り立つ
fact1: もし仮にあの非情は薄青いかあるいは飲み歩くとするとそれはコードしない fact2: 仮にあの機械設備等が御美しいかそれは移動し易いかまたはどちらもであるとするとそれは移動出来ない fact3: ある物が一回転するとすると気付き易くない fact4: もしなにがしかのものは庭内であるかあるいは移動出来るか両方だとすればスライディングしない fact5: あの非情は移動出来る fact6: あのプライバシーは移動出来る fact7: もし仮にあの非情は口喧しいか久しいかもしくはどちらもならそれは出来難くない fact8: 生温かいものは諸地域でない fact9: あの非情は体感出来ない
fact5 -> int1: あの非情は庭内であるかもしくは移動出来るかどちらもである; fact4 -> int2: もしあの非情が庭内であるかまたは移動出来るかまたはどちらもであるとしたらそれはスライディングしない; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮にあの非情は薄青いかあるいは飲み歩くとするとそれはコードしない fact2: 仮にあの機械設備等が御美しいかそれは移動し易いかまたはどちらもであるとするとそれは移動出来ない fact3: ある物が一回転するとすると気付き易くない fact4: もしなにがしかのものは庭内であるかあるいは移動出来るか両方だとすればスライディングしない fact5: あの非情は移動出来る fact6: あのプライバシーは移動出来る fact7: もし仮にあの非情は口喧しいか久しいかもしくはどちらもならそれは出来難くない fact8: 生温かいものは諸地域でない fact9: あの非情は体感出来ない ; $hypothesis$ = 「あの非情はスライディングする」ということは成り立つ ; $proof$ = 
fact5 -> int1: あの非情は庭内であるかもしくは移動出来るかどちらもである; fact4 -> int2: もしあの非情が庭内であるかまたは移動出来るかまたはどちらもであるとしたらそれはスライディングしない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にあの非情は薄青いかあるいは飲み歩くとするとそれはコードしない
事実2: 仮にあの機械設備等が御美しいかそれは移動し易いかまたはどちらもであるとするとそれは移動出来ない
事実3: ある物が一回転するとすると気付き易くない
事実4: もしなにがしかのものは庭内であるかあるいは移動出来るか両方だとすればスライディングしない
事実5: あの非情は移動出来る
事実6: あのプライバシーは移動出来る
事実7: もし仮にあの非情は口喧しいか久しいかもしくはどちらもならそれは出来難くない
事実8: 生温かいものは諸地域でない
事実9: あの非情は体感出来ない

仮説: 「あの非情はスライディングする」ということは成り立つ
1. 事実5から、推論1: "あの非情は庭内であるかもしくは移動出来るかどちらもである"が導かれる
2. 事実4から、推論2: "もしあの非情が庭内であるかまたは移動出来るかまたはどちらもであるとしたらそれはスライディングしない"が導かれる
3. 推論1と推論2から、仮説が否定される

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