「もしあの強迫傾向が算するならそのミードはもみもみする」ということは成り立たない
fact1: もし「あの強迫傾向は創造するけどそれは持ち易くない」ということは事実と異なるとしたら「この農学部は田舎染みない」ということは成り立つ fact2: そのミードは持ち易いけどもみもみするということはない fact3: もし仮にあの強迫傾向が創造しないならばこの農学部は田舎染みない fact4: あの強迫傾向は男の子らしいがしかし確定出来ない fact5: 仮にこの農学部が可笑しないならあの強迫傾向は田舎染みるししかも算する fact6: もし仮に「そのミードは可笑しけれど算しない」ということは成り立たないとするとあの強迫傾向は田舎染みない fact7: もし仮に「あの強迫傾向は創造するがしかし可笑しない」ということは間違いであるとするとそのミードはもみもみしない fact8: 仮にあの強迫傾向は創造する一方で持ち易いということはないなら算しない fact9: もしあの強迫傾向が田舎染みるならこの核融合は創造する fact10: 仮にあの強迫傾向がもみもみするということはないとするとそのミードは算する fact11: もし何らかの物が可笑しとしたらそれはもみもみする fact12: もしもそのミードが田舎染みるならこの農学部は可笑し fact13: そのミードは田舎染みる fact14: この不失が改訳例だけど創造するということはない fact15: もし仮にこの農学部は持ち易いけれど算しないならば田舎染みない fact16: 仮に慌ただしくない物がもみもみするなら可笑しということはない fact17: この農学部は算する fact18: 仮にあの強迫傾向が可笑しがしかしもみもみしないとしたら「それは創造するということはない」ということは成り立つ fact19: もし仮にこの農学部が田舎染みないならばそのミードは可笑し
void -> assump2: 以下のように仮定する。あの強迫傾向は創造するけど持ち易くない; fact8 & assump2 -> int1: あの強迫傾向は算しない; void -> assump1: 以下のように仮定する。あの強迫傾向は算する; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あの強迫傾向は創造するがそれは持ち易くない」ということは間違いである; int3 & fact1 -> int4: この農学部は田舎染みるということはない; int4 & fact19 -> int5: そのミードは可笑し; fact11 -> int6: もしそのミードが可笑しならそれはもみもみする; int5 & int6 -> int7: そのミードはもみもみする; [assump1] & int7 -> hypothesis;
この核融合は創造する
fact22 -> int8: もし仮にこの農学部は慌ただしくないがしかしもみもみすれば「それは可笑しということはない」ということは事実だ;
$facts$ = fact1: もし「あの強迫傾向は創造するけどそれは持ち易くない」ということは事実と異なるとしたら「この農学部は田舎染みない」ということは成り立つ fact2: そのミードは持ち易いけどもみもみするということはない fact3: もし仮にあの強迫傾向が創造しないならばこの農学部は田舎染みない fact4: あの強迫傾向は男の子らしいがしかし確定出来ない fact5: 仮にこの農学部が可笑しないならあの強迫傾向は田舎染みるししかも算する fact6: もし仮に「そのミードは可笑しけれど算しない」ということは成り立たないとするとあの強迫傾向は田舎染みない fact7: もし仮に「あの強迫傾向は創造するがしかし可笑しない」ということは間違いであるとするとそのミードはもみもみしない fact8: 仮にあの強迫傾向は創造する一方で持ち易いということはないなら算しない fact9: もしあの強迫傾向が田舎染みるならこの核融合は創造する fact10: 仮にあの強迫傾向がもみもみするということはないとするとそのミードは算する fact11: もし何らかの物が可笑しとしたらそれはもみもみする fact12: もしもそのミードが田舎染みるならこの農学部は可笑し fact13: そのミードは田舎染みる fact14: この不失が改訳例だけど創造するということはない fact15: もし仮にこの農学部は持ち易いけれど算しないならば田舎染みない fact16: 仮に慌ただしくない物がもみもみするなら可笑しということはない fact17: この農学部は算する fact18: 仮にあの強迫傾向が可笑しがしかしもみもみしないとしたら「それは創造するということはない」ということは成り立つ fact19: もし仮にこの農学部が田舎染みないならばそのミードは可笑し ; $hypothesis$ = 「もしあの強迫傾向が算するならそのミードはもみもみする」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。あの強迫傾向は創造するけど持ち易くない; fact8 & assump2 -> int1: あの強迫傾向は算しない; void -> assump1: 以下のように仮定する。あの強迫傾向は算する; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あの強迫傾向は創造するがそれは持ち易くない」ということは間違いである; int3 & fact1 -> int4: この農学部は田舎染みるということはない; int4 & fact19 -> int5: そのミードは可笑し; fact11 -> int6: もしそのミードが可笑しならそれはもみもみする; int5 & int6 -> int7: そのミードはもみもみする; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もし「あの強迫傾向は創造するけどそれは持ち易くない」ということは事実と異なるとしたら「この農学部は田舎染みない」ということは成り立つ
事実2: そのミードは持ち易いけどもみもみするということはない
事実3: もし仮にあの強迫傾向が創造しないならばこの農学部は田舎染みない
事実4: あの強迫傾向は男の子らしいがしかし確定出来ない
事実5: 仮にこの農学部が可笑しないならあの強迫傾向は田舎染みるししかも算する
事実6: もし仮に「そのミードは可笑しけれど算しない」ということは成り立たないとするとあの強迫傾向は田舎染みない
事実7: もし仮に「あの強迫傾向は創造するがしかし可笑しない」ということは間違いであるとするとそのミードはもみもみしない
事実8: 仮にあの強迫傾向は創造する一方で持ち易いということはないなら算しない
事実9: もしあの強迫傾向が田舎染みるならこの核融合は創造する
事実10: 仮にあの強迫傾向がもみもみするということはないとするとそのミードは算する
事実11: もし何らかの物が可笑しとしたらそれはもみもみする
事実12: もしもそのミードが田舎染みるならこの農学部は可笑し
事実13: そのミードは田舎染みる
事実14: この不失が改訳例だけど創造するということはない
事実15: もし仮にこの農学部は持ち易いけれど算しないならば田舎染みない
事実16: 仮に慌ただしくない物がもみもみするなら可笑しということはない
事実17: この農学部は算する
事実18: 仮にあの強迫傾向が可笑しがしかしもみもみしないとしたら「それは創造するということはない」ということは成り立つ
事実19: もし仮にこの農学部が田舎染みないならばそのミードは可笑し

仮説: 「もしあの強迫傾向が算するならそのミードはもみもみする」ということは成り立たない
1. 仮定2: 以下のように仮定する。あの強迫傾向は創造するけど持ち易くない
2. 事実8と仮定2から、推論1: "あの強迫傾向は算しない"が導かれる
3. 仮定1: 以下のように仮定する。あの強迫傾向は算する
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「あの強迫傾向は創造するがそれは持ち易くない」ということは間違いである"が導かれる
6. 推論3と事実1から、推論4: "この農学部は田舎染みるということはない"が導かれる
7. 推論4と事実19から、推論5: "そのミードは可笑し"が導かれる
8. 事実11から、推論6: "もしそのミードが可笑しならそれはもみもみする"が導かれる
9. 推論5と推論6から、推論7: "そのミードはもみもみする"が導かれる
10. [仮定1]と推論7から、仮説が否定される

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