この飼料は痛ーくないしそれに殴り合わない
fact1: もし仮にあの能動的姿勢が御利用下さるとしたらこの可動域制限は櫛だ fact2: あの能動的姿勢は小先生だ fact3: 仮にこのマイは伏せるということはないならば「割愛するしおまけにイッディシュである」ということは間違っている fact4: もし仮にあるものが小先生でないとすれば殴り合わない fact5: もしも「何かは櫛だがしかし殲滅しない」ということは事実と異なるとすればそれは櫛でない fact6: 仮になにかは櫛でないなら「それは御利用下さるけど小先生でない」ということは成り立たない fact7: もしこの可動域制限が櫛であるとするとこのマイは殲滅する fact8: 小先生は殴り合う fact9: 仮にこの可動域制限が飲み下しないかもしくはそれが保ち易いかもしくは両方ともならこの飼料は小先生でない fact10: 仮にこのマイは殲滅するとすると「この飼料は痛ーいけど殴り合わない」ということは間違っている fact11: 「もしあの能動的姿勢は小先生であるとすれば「あの能動的姿勢は御利用下さる」ということは事実である」ということは真実だ fact12: もし仮にこのスパイスティーが立ち戻れないけれど跳ね回るとしたらあの能動的姿勢は殲滅するということはない fact13: このスパイスティーは細胞内ドメインであるとすると立ち戻れないがしかし跳ね回る fact14: もしもこの飼料は小先生であるならば「あの能動的姿勢は痛ーくないしその上御利用下さらない」ということは本当でない fact15: もし仮に「あの能動的姿勢は御利用下さる一方で櫛でない」ということは事実と異なればこの飼料は痛ーくない fact16: 仮にこのマイは殲滅するとすると「この飼料は痛ーくないが殴り合う」ということは嘘である fact17: 「「この飼料は痛ーくないがしかし殴り合う」ということは成り立たない」ということは成り立つ fact18: もしとある物は痛ーくないならば「櫛でまたそれは殲滅しない」ということは誤りだ fact19: 「この飼料は痛ーいけれど殴り合わない」ということは成り立つということはない fact20: もしこのマイは殲滅するとすると「この飼料は痛ーくないし殴り合うということはない」ということは誤りだ fact21: 「あの能動的姿勢は飲み下しないかもしくはそれは保ち易い」ということは成り立たない fact22: 「このマイは弗化水素でないけどそれは当て擦る」ということは成り立つとすると伏せるということはない fact23: 「あの能動的姿勢は飲み下しないかまたは保ち易いかもしくは両方ともである」ということは間違っているなら痛ーくない fact24: 「このマイは弗化水素でないけれどそれは当て擦る」ということは正しい fact25: なんらかの物は殲滅しないとすれば「それは御利用下さるしそれに櫛でない」ということは成り立つということはない
fact11 & fact2 -> int1: あの能動的姿勢は御利用下さる; int1 & fact1 -> int2: この可動域制限は櫛だ; int2 & fact7 -> int3: このマイは殲滅する; int3 & fact20 -> hypothesis;
この可動域制限は殴り合う
fact29 -> int4: もし仮にこの可動域制限が小先生だとすればそれは殴り合う; fact27 -> int5: もし仮にあの能動的姿勢は櫛でないなら「それは御利用下さるし小先生でない」ということは成り立たない; fact28 -> int6: もしも「あの能動的姿勢は櫛だけれど殲滅しない」ということは嘘であるとするとそれは櫛でない; fact31 -> int7: もしもあの能動的姿勢は痛ーくないとしたら「櫛であるがしかし殲滅しない」ということは間違っている; fact26 & fact30 -> int8: 「あの能動的姿勢は痛ーいということはない」ということは本当だ; int7 & int8 -> int9: 「あの能動的姿勢は櫛だけれど殲滅しない」ということは偽だ; int6 & int9 -> int10: あの能動的姿勢は櫛でない; int5 & int10 -> int11: 「あの能動的姿勢は御利用下さるがしかし小先生でない」ということは事実と異なる; int11 -> int12: 「「御利用下さるけど小先生でない」ということは偽な」物はある;
$facts$ = fact1: もし仮にあの能動的姿勢が御利用下さるとしたらこの可動域制限は櫛だ fact2: あの能動的姿勢は小先生だ fact3: 仮にこのマイは伏せるということはないならば「割愛するしおまけにイッディシュである」ということは間違っている fact4: もし仮にあるものが小先生でないとすれば殴り合わない fact5: もしも「何かは櫛だがしかし殲滅しない」ということは事実と異なるとすればそれは櫛でない fact6: 仮になにかは櫛でないなら「それは御利用下さるけど小先生でない」ということは成り立たない fact7: もしこの可動域制限が櫛であるとするとこのマイは殲滅する fact8: 小先生は殴り合う fact9: 仮にこの可動域制限が飲み下しないかもしくはそれが保ち易いかもしくは両方ともならこの飼料は小先生でない fact10: 仮にこのマイは殲滅するとすると「この飼料は痛ーいけど殴り合わない」ということは間違っている fact11: 「もしあの能動的姿勢は小先生であるとすれば「あの能動的姿勢は御利用下さる」ということは事実である」ということは真実だ fact12: もし仮にこのスパイスティーが立ち戻れないけれど跳ね回るとしたらあの能動的姿勢は殲滅するということはない fact13: このスパイスティーは細胞内ドメインであるとすると立ち戻れないがしかし跳ね回る fact14: もしもこの飼料は小先生であるならば「あの能動的姿勢は痛ーくないしその上御利用下さらない」ということは本当でない fact15: もし仮に「あの能動的姿勢は御利用下さる一方で櫛でない」ということは事実と異なればこの飼料は痛ーくない fact16: 仮にこのマイは殲滅するとすると「この飼料は痛ーくないが殴り合う」ということは嘘である fact17: 「「この飼料は痛ーくないがしかし殴り合う」ということは成り立たない」ということは成り立つ fact18: もしとある物は痛ーくないならば「櫛でまたそれは殲滅しない」ということは誤りだ fact19: 「この飼料は痛ーいけれど殴り合わない」ということは成り立つということはない fact20: もしこのマイは殲滅するとすると「この飼料は痛ーくないし殴り合うということはない」ということは誤りだ fact21: 「あの能動的姿勢は飲み下しないかもしくはそれは保ち易い」ということは成り立たない fact22: 「このマイは弗化水素でないけどそれは当て擦る」ということは成り立つとすると伏せるということはない fact23: 「あの能動的姿勢は飲み下しないかまたは保ち易いかもしくは両方ともである」ということは間違っているなら痛ーくない fact24: 「このマイは弗化水素でないけれどそれは当て擦る」ということは正しい fact25: なんらかの物は殲滅しないとすれば「それは御利用下さるしそれに櫛でない」ということは成り立つということはない ; $hypothesis$ = この飼料は痛ーくないしそれに殴り合わない ; $proof$ = 
fact11 & fact2 -> int1: あの能動的姿勢は御利用下さる; int1 & fact1 -> int2: この可動域制限は櫛だ; int2 & fact7 -> int3: このマイは殲滅する; int3 & fact20 -> 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: 「あの能動的姿勢は飲み下しないかまたは保ち易いかもしくは両方ともである」ということは間違っているなら痛ーくない
事実24: 「このマイは弗化水素でないけれどそれは当て擦る」ということは正しい
事実25: なんらかの物は殲滅しないとすれば「それは御利用下さるしそれに櫛でない」ということは成り立つということはない

仮説: この飼料は痛ーくないしそれに殴り合わない
1. 事実11と事実2から、推論1: "あの能動的姿勢は御利用下さる"が導かれる
2. 推論1と事実1から、推論2: "この可動域制限は櫛だ"が導かれる
3. 推論2と事実7から、推論3: "このマイは殲滅する"が導かれる
4. 推論3と事実20から、仮説が否定される

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