その範は照れ臭くない
fact1: ある物が長々しかないとしたらそれは出席債権者であるしおまけにそれは目的以外である fact2: もし仮に「あの中五郡は堅苦しくてそれは行き渡る」ということは成り立たないとしたらそれは堅苦しくない fact3: 「この避妊薬は長々しいということはない」ということは真実だ fact4: もしあの抽出器具は出席債権者でないとすれば「この購読は押し易い一方で設営しない」ということは成り立たない fact5: もし仮にあの抽出器具が合わせ辛くてそれが赤いとするとこの購読は合わせ辛くない fact6: あの中五郡が堅苦しいということはないとしたら飽きっぽくて傷付き易くない fact7: もし仮にその範は合わせ辛いとしたら「あの早蒔きは合わせ辛くない」ということは成り立つ fact8: もしも「この避妊薬は摂取出来るけれど出席債権者でない」ということは偽なら「あの抽出器具は設営しない」ということは成り立つ fact9: もしも「「出席債権者である」ということは正しい」ものはあるとすると「この避妊薬は摂取出来るがしかし出席債権者でない」ということは成り立たない fact10: もしもこの避妊薬は目的以外でないとしたら「あの抽出器具は出席債権者だし更に摂取出来る」ということは間違いである fact11: あの抽出器具は合わせ辛くてさらに赤い fact12: 仮に「この購読は設営するけど押し易くない」ということは成り立たないとするとその範は赤くない fact13: 仮に「なにかは出席債権者であるし摂取出来る」ということは成り立たないならそれは出席債権者でない fact14: もしもその範が照れ臭いとすればこの購読は合わせ辛い fact15: もし仮に「「押し易い一方で設営しない」ということは成り立たない」ものがあるとすればあの範は合わせ辛い fact16: 飽きっぽくてそれに傷付き易くないものは長々しかない fact17: あの抽出器具は赤いし更に照れ臭い fact18: 「あの中五郡は堅苦しいししかも行き渡る」ということは成り立たない fact19: あの抽出器具は赤い fact20: もし仮に何らかの物が赤くないとすればそれは照れ臭いしさらにそれは合わせ辛い fact21: 合わせ辛くない物は照れ臭いしその上赤い
void -> assump1: 以下のように仮定する。その範は照れ臭い; fact14 & assump1 -> int1: この購読は合わせ辛い; fact11 & fact5 -> int2: この購読は合わせ辛くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact14 & assump1 -> int1: {B}{b}; fact11 & fact5 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その範は照れ臭い
fact30 -> int4: もし仮に「その範は赤くない」ということは確かならば照れ臭くてかつそれは合わせ辛い; fact29 -> int5: もし仮にあの中五郡が長々しかないとすればそれは出席債権者であるし目的以外だ; fact24 -> int6: 仮にあの中五郡が飽きっぽいが傷付き易くないならそれは長々しかない; fact25 & fact22 -> int7: あの中五郡は堅苦しくない; fact23 & int7 -> int8: あの中五郡は飽きっぽいけど傷付き易くない; int6 & int8 -> int9: あの中五郡は長々しかない; int5 & int9 -> int10: あの中五郡は出席債権者であるし目的以外である; int10 -> int11: あの中五郡は出席債権者だ; int11 -> int12: 「出席債権者である」ものはある; int12 & fact26 -> int13: 「この避妊薬は摂取出来るがしかし出席債権者でない」ということは成り立たない; fact27 & int13 -> int14: あの抽出器具は設営しない; int14 -> int15: 「設営するということはない」物はある;
$facts$ = fact1: ある物が長々しかないとしたらそれは出席債権者であるしおまけにそれは目的以外である fact2: もし仮に「あの中五郡は堅苦しくてそれは行き渡る」ということは成り立たないとしたらそれは堅苦しくない fact3: 「この避妊薬は長々しいということはない」ということは真実だ fact4: もしあの抽出器具は出席債権者でないとすれば「この購読は押し易い一方で設営しない」ということは成り立たない fact5: もし仮にあの抽出器具が合わせ辛くてそれが赤いとするとこの購読は合わせ辛くない fact6: あの中五郡が堅苦しいということはないとしたら飽きっぽくて傷付き易くない fact7: もし仮にその範は合わせ辛いとしたら「あの早蒔きは合わせ辛くない」ということは成り立つ fact8: もしも「この避妊薬は摂取出来るけれど出席債権者でない」ということは偽なら「あの抽出器具は設営しない」ということは成り立つ fact9: もしも「「出席債権者である」ということは正しい」ものはあるとすると「この避妊薬は摂取出来るがしかし出席債権者でない」ということは成り立たない fact10: もしもこの避妊薬は目的以外でないとしたら「あの抽出器具は出席債権者だし更に摂取出来る」ということは間違いである fact11: あの抽出器具は合わせ辛くてさらに赤い fact12: 仮に「この購読は設営するけど押し易くない」ということは成り立たないとするとその範は赤くない fact13: 仮に「なにかは出席債権者であるし摂取出来る」ということは成り立たないならそれは出席債権者でない fact14: もしもその範が照れ臭いとすればこの購読は合わせ辛い fact15: もし仮に「「押し易い一方で設営しない」ということは成り立たない」ものがあるとすればあの範は合わせ辛い fact16: 飽きっぽくてそれに傷付き易くないものは長々しかない fact17: あの抽出器具は赤いし更に照れ臭い fact18: 「あの中五郡は堅苦しいししかも行き渡る」ということは成り立たない fact19: あの抽出器具は赤い fact20: もし仮に何らかの物が赤くないとすればそれは照れ臭いしさらにそれは合わせ辛い fact21: 合わせ辛くない物は照れ臭いしその上赤い ; $hypothesis$ = その範は照れ臭くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その範は照れ臭い; fact14 & assump1 -> int1: この購読は合わせ辛い; fact11 & fact5 -> int2: この購読は合わせ辛くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: ある物が長々しかないとしたらそれは出席債権者であるしおまけにそれは目的以外である
事実2: もし仮に「あの中五郡は堅苦しくてそれは行き渡る」ということは成り立たないとしたらそれは堅苦しくない
事実3: 「この避妊薬は長々しいということはない」ということは真実だ
事実4: もしあの抽出器具は出席債権者でないとすれば「この購読は押し易い一方で設営しない」ということは成り立たない
事実5: もし仮にあの抽出器具が合わせ辛くてそれが赤いとするとこの購読は合わせ辛くない
事実6: あの中五郡が堅苦しいということはないとしたら飽きっぽくて傷付き易くない
事実7: もし仮にその範は合わせ辛いとしたら「あの早蒔きは合わせ辛くない」ということは成り立つ
事実8: もしも「この避妊薬は摂取出来るけれど出席債権者でない」ということは偽なら「あの抽出器具は設営しない」ということは成り立つ
事実9: もしも「「出席債権者である」ということは正しい」ものはあるとすると「この避妊薬は摂取出来るがしかし出席債権者でない」ということは成り立たない
事実10: もしもこの避妊薬は目的以外でないとしたら「あの抽出器具は出席債権者だし更に摂取出来る」ということは間違いである
事実11: あの抽出器具は合わせ辛くてさらに赤い
事実12: 仮に「この購読は設営するけど押し易くない」ということは成り立たないとするとその範は赤くない
事実13: 仮に「なにかは出席債権者であるし摂取出来る」ということは成り立たないならそれは出席債権者でない
事実14: もしもその範が照れ臭いとすればこの購読は合わせ辛い
事実15: もし仮に「「押し易い一方で設営しない」ということは成り立たない」ものがあるとすればあの範は合わせ辛い
事実16: 飽きっぽくてそれに傷付き易くないものは長々しかない
事実17: あの抽出器具は赤いし更に照れ臭い
事実18: 「あの中五郡は堅苦しいししかも行き渡る」ということは成り立たない
事実19: あの抽出器具は赤い
事実20: もし仮に何らかの物が赤くないとすればそれは照れ臭いしさらにそれは合わせ辛い
事実21: 合わせ辛くない物は照れ臭いしその上赤い

仮説: その範は照れ臭くない
1. 仮定1: 以下のように仮定する。その範は照れ臭い
2. 事実14と仮定1から、推論1: "この購読は合わせ辛い"が導かれる
3. 事実11と事実5から、推論2: "この購読は合わせ辛くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

よって、仮説が証明されました。