この骨盤入り口は粘土細工だ
fact1: その独身者は当たり易くない fact2: その独身者は大鼾だ fact3: 仮にその独身者が舞い上げるということはない一方でそれは崩せるなら「この骨盤入り口は酸い」ということは真実だ fact4: その独身者は大鼾である一方で殺めない fact5: もし仮に「その独身者は酸いということはないがしかし蟹籠である」ということは誤りだとすると蟹籠でない fact6: もし何らかのものが大鼾でないとしたらそれは粘土細工でそれは殺める fact7: 「酸いものは苦々しい」ということは真実だ fact8: もし仮にとある物が殺めるなら大鼾で加えてそれは粘土細工でない fact9: もし仮にこの骨盤入り口が粘土細工ならその独身者は殺める fact10: その独身者は舞い上げない一方で崩せる
void -> assump1: 以下のように仮定する。この骨盤入り口は粘土細工である; fact9 & assump1 -> int1: その独身者は殺める; fact4 -> int2: その独身者は殺めない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact9 & assump1 -> int1: {B}{b}; fact4 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この骨盤入り口は粘土細工だ
fact11 -> int4: もし仮にこの骨盤入り口は大鼾であるということはないとすれば粘土細工で殺める;
$facts$ = fact1: その独身者は当たり易くない fact2: その独身者は大鼾だ fact3: 仮にその独身者が舞い上げるということはない一方でそれは崩せるなら「この骨盤入り口は酸い」ということは真実だ fact4: その独身者は大鼾である一方で殺めない fact5: もし仮に「その独身者は酸いということはないがしかし蟹籠である」ということは誤りだとすると蟹籠でない fact6: もし何らかのものが大鼾でないとしたらそれは粘土細工でそれは殺める fact7: 「酸いものは苦々しい」ということは真実だ fact8: もし仮にとある物が殺めるなら大鼾で加えてそれは粘土細工でない fact9: もし仮にこの骨盤入り口が粘土細工ならその独身者は殺める fact10: その独身者は舞い上げない一方で崩せる ; $hypothesis$ = この骨盤入り口は粘土細工だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この骨盤入り口は粘土細工である; fact9 & assump1 -> int1: その独身者は殺める; fact4 -> int2: その独身者は殺めない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その独身者は当たり易くない
事実2: その独身者は大鼾だ
事実3: 仮にその独身者が舞い上げるということはない一方でそれは崩せるなら「この骨盤入り口は酸い」ということは真実だ
事実4: その独身者は大鼾である一方で殺めない
事実5: もし仮に「その独身者は酸いということはないがしかし蟹籠である」ということは誤りだとすると蟹籠でない
事実6: もし何らかのものが大鼾でないとしたらそれは粘土細工でそれは殺める
事実7: 「酸いものは苦々しい」ということは真実だ
事実8: もし仮にとある物が殺めるなら大鼾で加えてそれは粘土細工でない
事実9: もし仮にこの骨盤入り口が粘土細工ならその独身者は殺める
事実10: その独身者は舞い上げない一方で崩せる

仮説: この骨盤入り口は粘土細工だ
1. 仮定1: 以下のように仮定する。この骨盤入り口は粘土細工である
2. 事実9と仮定1から、推論1: "その独身者は殺める"が導かれる
3. 事実4から、推論2: "その独身者は殺めない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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