あの革小物は長たらしくない
fact1: もし仮に何かはパームしないなら「「それは出題しないしおまけにそれはふらふらしない」ということは本当である」ということは成り立たない fact2: もしもあの下郎が起こり易いとしたらこの移動体通信基地局用アンテナは起こり易い fact3: もし仮にあるものは長たらしくないなら「それが炎症反応だししかもそれはレーザー銃でない」ということは成り立たない fact4: もし仮に「あの革小物は名高いけれど炎症反応だということはない」ということは成り立たないならばそれは名高くない fact5: この移動体通信基地局用アンテナはレーザー銃でそれは引例である fact6: もしもこの妊産婦が長たらしくないとしたらあの革小物は長たらしい fact7: その配線系は炎症反応でない fact8: もしもあの革小物がだだっ広いならそれは名高い fact9: もし仮に「その生理痛は炎症反応である」ということは成り立つならこの妊産婦は名高くない fact10: 「あの革小物は名高いがしかし炎症反応でない」ということは事実と異なる fact11: 皮肉っぽくない物は雇用保険制度で炎症反応である fact12: 「あの脳研究は出題しないししかもふらふらしない」ということは成り立たないならばその生理痛はふらふらしない fact13: もしもあの革小物が長たらしいとするとそれは名高い fact14: あの下郎が縦断するとするとこの移動体通信基地局用アンテナは起こり易い fact15: あの下郎は縦断するかあるいは起こり易い fact16: 「あの鹿尾菜御飯は名高くない」ということは成り立つ fact17: あの革小物は早起き出来ない fact18: もしもなにがしかのものがふらふらしないとしたら皮肉っぽいということはない fact19: あの革小物は腰椎である fact20: もしこの移動体通信基地局用アンテナは引例であるとすれば「それは風葬だ」ということは真実である
void -> assump1: 以下のように仮定する。あの革小物は長たらしい; fact13 & assump1 -> int1: あの革小物は名高い; fact4 & fact10 -> int2: あの革小物は名高くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact13 & assump1 -> int1: {B}{a}; fact4 & fact10 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「あの脳研究は炎症反応であるけれどレーザー銃でない」ということは誤りだ
fact21 -> int4: もし仮にあの脳研究は長たらしくないならば「炎症反応であるしおまけにそれはレーザー銃でない」ということは成り立つということはない;
$facts$ = fact1: もし仮に何かはパームしないなら「「それは出題しないしおまけにそれはふらふらしない」ということは本当である」ということは成り立たない fact2: もしもあの下郎が起こり易いとしたらこの移動体通信基地局用アンテナは起こり易い fact3: もし仮にあるものは長たらしくないなら「それが炎症反応だししかもそれはレーザー銃でない」ということは成り立たない fact4: もし仮に「あの革小物は名高いけれど炎症反応だということはない」ということは成り立たないならばそれは名高くない fact5: この移動体通信基地局用アンテナはレーザー銃でそれは引例である fact6: もしもこの妊産婦が長たらしくないとしたらあの革小物は長たらしい fact7: その配線系は炎症反応でない fact8: もしもあの革小物がだだっ広いならそれは名高い fact9: もし仮に「その生理痛は炎症反応である」ということは成り立つならこの妊産婦は名高くない fact10: 「あの革小物は名高いがしかし炎症反応でない」ということは事実と異なる fact11: 皮肉っぽくない物は雇用保険制度で炎症反応である fact12: 「あの脳研究は出題しないししかもふらふらしない」ということは成り立たないならばその生理痛はふらふらしない fact13: もしもあの革小物が長たらしいとするとそれは名高い fact14: あの下郎が縦断するとするとこの移動体通信基地局用アンテナは起こり易い fact15: あの下郎は縦断するかあるいは起こり易い fact16: 「あの鹿尾菜御飯は名高くない」ということは成り立つ fact17: あの革小物は早起き出来ない fact18: もしもなにがしかのものがふらふらしないとしたら皮肉っぽいということはない fact19: あの革小物は腰椎である fact20: もしこの移動体通信基地局用アンテナは引例であるとすれば「それは風葬だ」ということは真実である ; $hypothesis$ = あの革小物は長たらしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの革小物は長たらしい; fact13 & assump1 -> int1: あの革小物は名高い; fact4 & fact10 -> 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: もしこの移動体通信基地局用アンテナは引例であるとすれば「それは風葬だ」ということは真実である

仮説: あの革小物は長たらしくない
1. 仮定1: 以下のように仮定する。あの革小物は長たらしい
2. 事実13と仮定1から、推論1: "あの革小物は名高い"が導かれる
3. 事実4と事実10から、推論2: "あの革小物は名高くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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