あの端役は周旋する
fact1: もしもこの呪が輝かしくないならこの茶巾は抗し切れないし周旋するということはない fact2: あの端役は町組でなくてその上それは女っぽくない fact3: その半導体チップが引き裂かないならこの茶巾は抗し切れる fact4: 輝かしいししかも事らしくない物は未受精でない fact5: もし「その半導体チップはマウントするけれど借り易くない」ということは成り立つということはないとしたらあの端役は町組でない fact6: なにがしかの物は抗し切れるししかも引き裂くとしたら「周旋しない」ということは確かである fact7: 何らかのものは抗し切れるということはないとすれば「加工し易いけど引き裂かない」ということは偽である fact8: もし「なにがしかの物は加工し易いがしかし引き裂かない」ということは正しくないとすれば加工し易くない fact9: 仮に何かはマウントするとすればそれは引き裂くということはなくてそれに借り易い fact10: もしもこの当座比率はぼろいとしたら「それは未受精でなくてまたそれは事らしい」ということは確かでない fact11: この当座比率はぼろい fact12: もし何らかの物が未受精でないとすればマウントする fact13: もしあの端役は町組でないしその上女っぽいないとするとそれは引き裂く fact14: ある物は未受精であるとしたら「マウントするけれど借り易いということはない」ということは間違っている fact15: この茶巾はマウントしないが抗し切れる fact16: もしもこの茶巾が抗し切れるということはないしそれにそれが周旋するということはないならあの端役は抗し切れるということはない fact17: もし仮にこの茶巾がマウントしないけれど抗し切れるならあの端役は抗し切れる
fact13 & fact2 -> int1: あの端役は引き裂く; fact15 & fact17 -> int2: 「あの端役は抗し切れる」ということは正しい; int1 & int2 -> int3: あの端役は抗し切れるしそれは引き裂く; fact6 -> int4: もしあの端役は抗し切れるし引き裂くとするとそれは周旋しない; int3 & int4 -> hypothesis;
fact13 & fact2 -> int1: {B}{a}; fact15 & fact17 -> int2: {A}{a}; int1 & int2 -> int3: ({A}{a} & {B}{a}); fact6 -> int4: ({A}{a} & {B}{a}) -> ¬{C}{a}; int3 & int4 -> hypothesis;
あの端役は周旋する
fact20 -> int5: 仮にその半導体チップがマウントすればそれは引き裂かないが借り易い; fact21 -> int6: もし仮にその半導体チップは未受精でないとするとそれはマウントする; fact19 -> int7: その半導体チップが輝かしい一方でそれが事らしくないなら未受精でない;
$facts$ = fact1: もしもこの呪が輝かしくないならこの茶巾は抗し切れないし周旋するということはない fact2: あの端役は町組でなくてその上それは女っぽくない fact3: その半導体チップが引き裂かないならこの茶巾は抗し切れる fact4: 輝かしいししかも事らしくない物は未受精でない fact5: もし「その半導体チップはマウントするけれど借り易くない」ということは成り立つということはないとしたらあの端役は町組でない fact6: なにがしかの物は抗し切れるししかも引き裂くとしたら「周旋しない」ということは確かである fact7: 何らかのものは抗し切れるということはないとすれば「加工し易いけど引き裂かない」ということは偽である fact8: もし「なにがしかの物は加工し易いがしかし引き裂かない」ということは正しくないとすれば加工し易くない fact9: 仮に何かはマウントするとすればそれは引き裂くということはなくてそれに借り易い fact10: もしもこの当座比率はぼろいとしたら「それは未受精でなくてまたそれは事らしい」ということは確かでない fact11: この当座比率はぼろい fact12: もし何らかの物が未受精でないとすればマウントする fact13: もしあの端役は町組でないしその上女っぽいないとするとそれは引き裂く fact14: ある物は未受精であるとしたら「マウントするけれど借り易いということはない」ということは間違っている fact15: この茶巾はマウントしないが抗し切れる fact16: もしもこの茶巾が抗し切れるということはないしそれにそれが周旋するということはないならあの端役は抗し切れるということはない fact17: もし仮にこの茶巾がマウントしないけれど抗し切れるならあの端役は抗し切れる ; $hypothesis$ = あの端役は周旋する ; $proof$ = 
fact13 & fact2 -> int1: あの端役は引き裂く; fact15 & fact17 -> int2: 「あの端役は抗し切れる」ということは正しい; int1 & int2 -> int3: あの端役は抗し切れるしそれは引き裂く; fact6 -> int4: もしあの端役は抗し切れるし引き裂くとするとそれは周旋しない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしもこの呪が輝かしくないならこの茶巾は抗し切れないし周旋するということはない
事実2: あの端役は町組でなくてその上それは女っぽくない
事実3: その半導体チップが引き裂かないならこの茶巾は抗し切れる
事実4: 輝かしいししかも事らしくない物は未受精でない
事実5: もし「その半導体チップはマウントするけれど借り易くない」ということは成り立つということはないとしたらあの端役は町組でない
事実6: なにがしかの物は抗し切れるししかも引き裂くとしたら「周旋しない」ということは確かである
事実7: 何らかのものは抗し切れるということはないとすれば「加工し易いけど引き裂かない」ということは偽である
事実8: もし「なにがしかの物は加工し易いがしかし引き裂かない」ということは正しくないとすれば加工し易くない
事実9: 仮に何かはマウントするとすればそれは引き裂くということはなくてそれに借り易い
事実10: もしもこの当座比率はぼろいとしたら「それは未受精でなくてまたそれは事らしい」ということは確かでない
事実11: この当座比率はぼろい
事実12: もし何らかの物が未受精でないとすればマウントする
事実13: もしあの端役は町組でないしその上女っぽいないとするとそれは引き裂く
事実14: ある物は未受精であるとしたら「マウントするけれど借り易いということはない」ということは間違っている
事実15: この茶巾はマウントしないが抗し切れる
事実16: もしもこの茶巾が抗し切れるということはないしそれにそれが周旋するということはないならあの端役は抗し切れるということはない
事実17: もし仮にこの茶巾がマウントしないけれど抗し切れるならあの端役は抗し切れる

仮説: あの端役は周旋する
1. 事実13と事実2から、推論1: "あの端役は引き裂く"が導かれる
2. 事実15と事実17から、推論2: "「あの端役は抗し切れる」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "あの端役は抗し切れるしそれは引き裂く"が導かれる
4. 事実6から、推論4: "もしあの端役は抗し切れるし引き裂くとするとそれは周旋しない"が導かれる
5. 推論3と推論4から、仮説が否定される

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