あの牛キャラは差し入れだ
fact1: もし仮に「この養蚕は少人数であるかまたはそれは鉢合わせないかまたは両方である」ということは嘘であるならばあの牛キャラは差し入れでない fact2: もし仮にこの山口県中山間地域が少人数でないならば能力差でなくてしかもそれは奪取しない fact3: 仮にこの金城が姦しいとすると奪取する fact4: 何かは奪取すれば「能力差だ」ということは本当だ fact5: この金城は姦しい fact6: もし仮にこの金城が奪取しないとしたらあの牛キャラは差し入れだし更に姦しい fact7: もしもこの金城が能力差であるとすればあの受信機は鉢合わせない fact8: もしも「その受信機は鉢合わせるということはない」ということは成り立てば「この養蚕は少人数であるかもしくはそれは鉢合わせないかどちらもだ」ということは成り立つということはない fact9: その受信機が鉢合わせるがしかし能力差でないとすればこの金城は奪取しない fact10: 仮にその受信機が鉢合わせるということはないならこの養蚕は鉢合わせる
fact3 & fact5 -> int1: この金城は奪取する; fact4 -> int2: もし仮にこの金城が奪取するとすれば能力差である; int1 & int2 -> int3: この金城は能力差だ; int3 & fact7 -> int4: その受信機は鉢合わせない; int4 & fact8 -> int5: 「この養蚕は少人数であるかもしくは鉢合わせないかあるいは両方である」ということは間違っている; int5 & fact1 -> hypothesis;
あの牛キャラは差し入れである
$facts$ = fact1: もし仮に「この養蚕は少人数であるかまたはそれは鉢合わせないかまたは両方である」ということは嘘であるならばあの牛キャラは差し入れでない fact2: もし仮にこの山口県中山間地域が少人数でないならば能力差でなくてしかもそれは奪取しない fact3: 仮にこの金城が姦しいとすると奪取する fact4: 何かは奪取すれば「能力差だ」ということは本当だ fact5: この金城は姦しい fact6: もし仮にこの金城が奪取しないとしたらあの牛キャラは差し入れだし更に姦しい fact7: もしもこの金城が能力差であるとすればあの受信機は鉢合わせない fact8: もしも「その受信機は鉢合わせるということはない」ということは成り立てば「この養蚕は少人数であるかもしくはそれは鉢合わせないかどちらもだ」ということは成り立つということはない fact9: その受信機が鉢合わせるがしかし能力差でないとすればこの金城は奪取しない fact10: 仮にその受信機が鉢合わせるということはないならこの養蚕は鉢合わせる ; $hypothesis$ = あの牛キャラは差し入れだ ; $proof$ = 
fact3 & fact5 -> int1: この金城は奪取する; fact4 -> int2: もし仮にこの金城が奪取するとすれば能力差である; int1 & int2 -> int3: この金城は能力差だ; int3 & fact7 -> int4: その受信機は鉢合わせない; int4 & fact8 -> int5: 「この養蚕は少人数であるかもしくは鉢合わせないかあるいは両方である」ということは間違っている; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「この養蚕は少人数であるかまたはそれは鉢合わせないかまたは両方である」ということは嘘であるならばあの牛キャラは差し入れでない
事実2: もし仮にこの山口県中山間地域が少人数でないならば能力差でなくてしかもそれは奪取しない
事実3: 仮にこの金城が姦しいとすると奪取する
事実4: 何かは奪取すれば「能力差だ」ということは本当だ
事実5: この金城は姦しい
事実6: もし仮にこの金城が奪取しないとしたらあの牛キャラは差し入れだし更に姦しい
事実7: もしもこの金城が能力差であるとすればあの受信機は鉢合わせない
事実8: もしも「その受信機は鉢合わせるということはない」ということは成り立てば「この養蚕は少人数であるかもしくはそれは鉢合わせないかどちらもだ」ということは成り立つということはない
事実9: その受信機が鉢合わせるがしかし能力差でないとすればこの金城は奪取しない
事実10: 仮にその受信機が鉢合わせるということはないならこの養蚕は鉢合わせる

仮説: あの牛キャラは差し入れだ
1. 事実3と事実5から、推論1: "この金城は奪取する"が導かれる
2. 事実4から、推論2: "もし仮にこの金城が奪取するとすれば能力差である"が導かれる
3. 推論1と推論2から、推論3: "この金城は能力差だ"が導かれる
4. 推論3と事実7から、推論4: "その受信機は鉢合わせない"が導かれる
5. 推論4と事実8から、推論5: "「この養蚕は少人数であるかもしくは鉢合わせないかあるいは両方である」ということは間違っている"が導かれる
6. 推論5と事実1から、仮説が否定される

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