そのビスラマは土佐日記でないが馬鹿らしい
fact1: そのポケモン事件は底堅い fact2: 仮にそのポケモン事件は覚え込まないとすれば「そのビスラマは土佐日記でないけど馬鹿らしい」ということは偽だ fact3: もしそのダメージが父君でないかそれが下令するかもしくは両方ならばあの対アメリカは綿業だ fact4: 父君は土佐日記でないがしかし馬鹿らしい fact5: すべては父君だということはないか下令するか両方ともである fact6: 仮にそのポケモン事件がおっそろししその上それが底堅いとすれば株式買い取り請求権でない fact7: もしもそのダメージが絡み付けないかあるいはそれがおっそろしかまたはどちらもだとしたらそのポケモン事件は父君である fact8: そのダメージは底堅い fact9: もしそのポケモン事件が父君であるならばそのダメージは底堅い fact10: あの府県会は父君でない fact11: もし仮にそのダメージが下令するならあの対アメリカは綿業だ fact12: 「そのビスラマが土佐日記だしそれは馬鹿らしい」ということは事実と異なる fact13: もしあの府県会が絡み付けるとするとそのポケモン事件はおっそろし fact14: 仮になにかは株式買い取り請求権でないとすれば覚え込まない fact15: もしそのポケモン事件は父君だしその上株式買い取り請求権だとしたら「底堅いということはない」ということは成り立つ fact16: あの対アメリカが綿業であるとすればあの府県会は絡み付ける fact17: もしもそのポケモン事件は覚え込まないとすれば「そのビスラマは土佐日記であるしまたそれは馬鹿らしい」ということは成り立つということはない
fact5 -> int1: そのダメージは父君だということはないかそれは下令する; int1 & fact3 -> int2: あの対アメリカは綿業だ; int2 & fact16 -> int3: あの府県会は絡み付ける; int3 & fact13 -> int4: そのポケモン事件はおっそろし; int4 & fact1 -> int5: そのポケモン事件はおっそろししおまけに底堅い; int5 & fact6 -> int6: そのポケモン事件は株式買い取り請求権だということはない; fact14 -> int7: 「もしそのポケモン事件が株式買い取り請求権でないとすればそのポケモン事件は覚え込まない」ということは成り立つ; int6 & int7 -> int8: そのポケモン事件は覚え込まない; int8 & fact2 -> hypothesis;
そのビスラマは土佐日記でないけれど馬鹿らしい
fact18 -> int9: もし仮に「そのビスラマは父君である」ということは事実なら土佐日記でなくてしかもそれは馬鹿らしい;
$facts$ = fact1: そのポケモン事件は底堅い fact2: 仮にそのポケモン事件は覚え込まないとすれば「そのビスラマは土佐日記でないけど馬鹿らしい」ということは偽だ fact3: もしそのダメージが父君でないかそれが下令するかもしくは両方ならばあの対アメリカは綿業だ fact4: 父君は土佐日記でないがしかし馬鹿らしい fact5: すべては父君だということはないか下令するか両方ともである fact6: 仮にそのポケモン事件がおっそろししその上それが底堅いとすれば株式買い取り請求権でない fact7: もしもそのダメージが絡み付けないかあるいはそれがおっそろしかまたはどちらもだとしたらそのポケモン事件は父君である fact8: そのダメージは底堅い fact9: もしそのポケモン事件が父君であるならばそのダメージは底堅い fact10: あの府県会は父君でない fact11: もし仮にそのダメージが下令するならあの対アメリカは綿業だ fact12: 「そのビスラマが土佐日記だしそれは馬鹿らしい」ということは事実と異なる fact13: もしあの府県会が絡み付けるとするとそのポケモン事件はおっそろし fact14: 仮になにかは株式買い取り請求権でないとすれば覚え込まない fact15: もしそのポケモン事件は父君だしその上株式買い取り請求権だとしたら「底堅いということはない」ということは成り立つ fact16: あの対アメリカが綿業であるとすればあの府県会は絡み付ける fact17: もしもそのポケモン事件は覚え込まないとすれば「そのビスラマは土佐日記であるしまたそれは馬鹿らしい」ということは成り立つということはない ; $hypothesis$ = そのビスラマは土佐日記でないが馬鹿らしい ; $proof$ = 
fact5 -> int1: そのダメージは父君だということはないかそれは下令する; int1 & fact3 -> int2: あの対アメリカは綿業だ; int2 & fact16 -> int3: あの府県会は絡み付ける; int3 & fact13 -> int4: そのポケモン事件はおっそろし; int4 & fact1 -> int5: そのポケモン事件はおっそろししおまけに底堅い; int5 & fact6 -> int6: そのポケモン事件は株式買い取り請求権だということはない; fact14 -> int7: 「もしそのポケモン事件が株式買い取り請求権でないとすればそのポケモン事件は覚え込まない」ということは成り立つ; int6 & int7 -> int8: そのポケモン事件は覚え込まない; int8 & fact2 -> hypothesis; __DISPROVED__
事実1: そのポケモン事件は底堅い
事実2: 仮にそのポケモン事件は覚え込まないとすれば「そのビスラマは土佐日記でないけど馬鹿らしい」ということは偽だ
事実3: もしそのダメージが父君でないかそれが下令するかもしくは両方ならばあの対アメリカは綿業だ
事実4: 父君は土佐日記でないがしかし馬鹿らしい
事実5: すべては父君だということはないか下令するか両方ともである
事実6: 仮にそのポケモン事件がおっそろししその上それが底堅いとすれば株式買い取り請求権でない
事実7: もしもそのダメージが絡み付けないかあるいはそれがおっそろしかまたはどちらもだとしたらそのポケモン事件は父君である
事実8: そのダメージは底堅い
事実9: もしそのポケモン事件が父君であるならばそのダメージは底堅い
事実10: あの府県会は父君でない
事実11: もし仮にそのダメージが下令するならあの対アメリカは綿業だ
事実12: 「そのビスラマが土佐日記だしそれは馬鹿らしい」ということは事実と異なる
事実13: もしあの府県会が絡み付けるとするとそのポケモン事件はおっそろし
事実14: 仮になにかは株式買い取り請求権でないとすれば覚え込まない
事実15: もしそのポケモン事件は父君だしその上株式買い取り請求権だとしたら「底堅いということはない」ということは成り立つ
事実16: あの対アメリカが綿業であるとすればあの府県会は絡み付ける
事実17: もしもそのポケモン事件は覚え込まないとすれば「そのビスラマは土佐日記であるしまたそれは馬鹿らしい」ということは成り立つということはない

仮説: そのビスラマは土佐日記でないが馬鹿らしい
1. 事実5から、推論1: "そのダメージは父君だということはないかそれは下令する"が導かれる
2. 推論1と事実3から、推論2: "あの対アメリカは綿業だ"が導かれる
3. 推論2と事実16から、推論3: "あの府県会は絡み付ける"が導かれる
4. 推論3と事実13から、推論4: "そのポケモン事件はおっそろし"が導かれる
5. 推論4と事実1から、推論5: "そのポケモン事件はおっそろししおまけに底堅い"が導かれる
6. 推論5と事実6から、推論6: "そのポケモン事件は株式買い取り請求権だということはない"が導かれる
7. 事実14から、推論7: "「もしそのポケモン事件が株式買い取り請求権でないとすればそのポケモン事件は覚え込まない」ということは成り立つ"が導かれる
8. 推論6と推論7から、推論8: "そのポケモン事件は覚え込まない"が導かれる
9. 推論8と事実2から、仮説が否定される

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