その天然果実はエンストする
fact1: もし仮に「その百十六ページ参照はしかつめらしくて印加する」ということは成り立たないとすればそのビーフカレーは印加しない fact2: もし仮に何かは印加するしそれが聖櫃だとするとエンストするということはない fact3: 仮にそのビーフカレーが印加するならその天然果実は印加する fact4: もし仮にその天然果実がしかつめらしくて沿岸流だとすると印加しない fact5: その天然果実は沿岸流である fact6: その天然果実が沿岸流だとしたらそれは聖櫃である fact7: そのビーフカレーは印加するかもしくはしかつめらしいかもしくは両方である fact8: 「そのビーフカレーはしかつめらしい」ということは事実であるとすればあの天然果実は印加する
fact6 & fact5 -> int1: その天然果実は聖櫃である; fact7 & fact3 & fact8 -> int2: その天然果実は印加する; int1 & int2 -> int3: その天然果実は印加するしかつそれは聖櫃だ; fact2 -> int4: その天然果実は印加するしさらに聖櫃であるとしたら「エンストしない」ということは成り立つ; int3 & int4 -> hypothesis;
fact6 & fact5 -> int1: {B}{a}; fact7 & fact3 & fact8 -> int2: {C}{a}; int1 & int2 -> int3: ({C}{a} & {B}{a}); fact2 -> int4: ({C}{a} & {B}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
「その天然果実はエンストする」ということは成り立つ
$facts$ = fact1: もし仮に「その百十六ページ参照はしかつめらしくて印加する」ということは成り立たないとすればそのビーフカレーは印加しない fact2: もし仮に何かは印加するしそれが聖櫃だとするとエンストするということはない fact3: 仮にそのビーフカレーが印加するならその天然果実は印加する fact4: もし仮にその天然果実がしかつめらしくて沿岸流だとすると印加しない fact5: その天然果実は沿岸流である fact6: その天然果実が沿岸流だとしたらそれは聖櫃である fact7: そのビーフカレーは印加するかもしくはしかつめらしいかもしくは両方である fact8: 「そのビーフカレーはしかつめらしい」ということは事実であるとすればあの天然果実は印加する ; $hypothesis$ = その天然果実はエンストする ; $proof$ = 
fact6 & fact5 -> int1: その天然果実は聖櫃である; fact7 & fact3 & fact8 -> int2: その天然果実は印加する; int1 & int2 -> int3: その天然果実は印加するしかつそれは聖櫃だ; fact2 -> int4: その天然果実は印加するしさらに聖櫃であるとしたら「エンストしない」ということは成り立つ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「その百十六ページ参照はしかつめらしくて印加する」ということは成り立たないとすればそのビーフカレーは印加しない
事実2: もし仮に何かは印加するしそれが聖櫃だとするとエンストするということはない
事実3: 仮にそのビーフカレーが印加するならその天然果実は印加する
事実4: もし仮にその天然果実がしかつめらしくて沿岸流だとすると印加しない
事実5: その天然果実は沿岸流である
事実6: その天然果実が沿岸流だとしたらそれは聖櫃である
事実7: そのビーフカレーは印加するかもしくはしかつめらしいかもしくは両方である
事実8: 「そのビーフカレーはしかつめらしい」ということは事実であるとすればあの天然果実は印加する

仮説: その天然果実はエンストする
1. 事実6と事実5から、推論1: "その天然果実は聖櫃である"が導かれる
2. 事実7と事実3と事実8から、推論2: "その天然果実は印加する"が導かれる
3. 推論1と推論2から、推論3: "その天然果実は印加するしかつそれは聖櫃だ"が導かれる
4. 事実2から、推論4: "その天然果実は印加するしさらに聖櫃であるとしたら「エンストしない」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が否定される

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