その観測装置は移行し易い
fact1: 仮にこの糞は丸くないならば「あの亡霊は築き上げるしそれに麗々しい」ということは真実でない fact2: 「もしも「「ＳＡＴＲＡでなくてそれに人らしいということはない」ということは嘘な」物はあれば「この糞は丸くない」ということは事実だ」ということは成り立つ fact3: 仮にその観測装置がフーリエ逆変換しないかまたはそれが生産農家であるかまたは両方ともならこの競技時間は自負する fact4: 仮に「フーリエ逆変換しない」ものはあるとすると「その異動等は生産農家で更に移行し易い」ということは成り立たない fact5: もしもとあるものはしんどいとしたら「移行し易い」ということは成り立つ fact6: 全てはフーリエ逆変換しなくてかつ生産農家である fact7: あるものは死に切れるなら「ＳＡＴＲＡでなくてそれに人らしくない」ということは間違いだ fact8: この少年は移行し易くないがそれは生産農家である fact9: もしこの少年がフーリエ逆変換しない一方でそれが生産農家であるとすればその観測装置はしんどい fact10: もしこのフリーアクセスが甘くないならばそれは死に切れる fact11: もし仮にあるものは生産農家でないとすると「それは移行し易いけどフーリエ逆変換しない」ということは成り立たない fact12: この少年は移行し易くないがそれはこよない fact13: あの現場情報は甘くない fact14: もし「甘くない」ものがあるとしたらこのフリーアクセスは男女双方でないかまたはそれは甘くない fact15: あらゆる物は生産農家だ fact16: もしなにかは築き上げないとすればそれはフーリエ逆変換しないししんどいということはない fact17: もし仮にこのフリーアクセスが男女双方でないとすればそれは死に切れる fact18: もし「なんらかの物は築き上げるし麗々しい」ということは成り立たないならそれは築き上げるということはない fact19: この少年は生産農家である
fact6 -> int1: この少年はフーリエ逆変換しない一方で生産農家だ; int1 & fact9 -> int2: その観測装置はしんどい; fact5 -> int3: もし仮に「その観測装置はしんどい」ということは本当であるとすれば移行し易い; int2 & int3 -> hypothesis;
fact6 -> int1: (¬{A}{aa} & {B}{aa}); int1 & fact9 -> int2: {C}{a}; fact5 -> int3: {C}{a} -> {D}{a}; int2 & int3 -> hypothesis;
この競技時間は自負する
$facts$ = fact1: 仮にこの糞は丸くないならば「あの亡霊は築き上げるしそれに麗々しい」ということは真実でない fact2: 「もしも「「ＳＡＴＲＡでなくてそれに人らしいということはない」ということは嘘な」物はあれば「この糞は丸くない」ということは事実だ」ということは成り立つ fact3: 仮にその観測装置がフーリエ逆変換しないかまたはそれが生産農家であるかまたは両方ともならこの競技時間は自負する fact4: 仮に「フーリエ逆変換しない」ものはあるとすると「その異動等は生産農家で更に移行し易い」ということは成り立たない fact5: もしもとあるものはしんどいとしたら「移行し易い」ということは成り立つ fact6: 全てはフーリエ逆変換しなくてかつ生産農家である fact7: あるものは死に切れるなら「ＳＡＴＲＡでなくてそれに人らしくない」ということは間違いだ fact8: この少年は移行し易くないがそれは生産農家である fact9: もしこの少年がフーリエ逆変換しない一方でそれが生産農家であるとすればその観測装置はしんどい fact10: もしこのフリーアクセスが甘くないならばそれは死に切れる fact11: もし仮にあるものは生産農家でないとすると「それは移行し易いけどフーリエ逆変換しない」ということは成り立たない fact12: この少年は移行し易くないがそれはこよない fact13: あの現場情報は甘くない fact14: もし「甘くない」ものがあるとしたらこのフリーアクセスは男女双方でないかまたはそれは甘くない fact15: あらゆる物は生産農家だ fact16: もしなにかは築き上げないとすればそれはフーリエ逆変換しないししんどいということはない fact17: もし仮にこのフリーアクセスが男女双方でないとすればそれは死に切れる fact18: もし「なんらかの物は築き上げるし麗々しい」ということは成り立たないならそれは築き上げるということはない fact19: この少年は生産農家である ; $hypothesis$ = その観測装置は移行し易い ; $proof$ = 
fact6 -> int1: この少年はフーリエ逆変換しない一方で生産農家だ; int1 & fact9 -> int2: その観測装置はしんどい; fact5 -> int3: もし仮に「その観測装置はしんどい」ということは本当であるとすれば移行し易い; int2 & int3 -> hypothesis; __PROVED__
事実1: 仮にこの糞は丸くないならば「あの亡霊は築き上げるしそれに麗々しい」ということは真実でない
事実2: 「もしも「「ＳＡＴＲＡでなくてそれに人らしいということはない」ということは嘘な」物はあれば「この糞は丸くない」ということは事実だ」ということは成り立つ
事実3: 仮にその観測装置がフーリエ逆変換しないかまたはそれが生産農家であるかまたは両方ともならこの競技時間は自負する
事実4: 仮に「フーリエ逆変換しない」ものはあるとすると「その異動等は生産農家で更に移行し易い」ということは成り立たない
事実5: もしもとあるものはしんどいとしたら「移行し易い」ということは成り立つ
事実6: 全てはフーリエ逆変換しなくてかつ生産農家である
事実7: あるものは死に切れるなら「ＳＡＴＲＡでなくてそれに人らしくない」ということは間違いだ
事実8: この少年は移行し易くないがそれは生産農家である
事実9: もしこの少年がフーリエ逆変換しない一方でそれが生産農家であるとすればその観測装置はしんどい
事実10: もしこのフリーアクセスが甘くないならばそれは死に切れる
事実11: もし仮にあるものは生産農家でないとすると「それは移行し易いけどフーリエ逆変換しない」ということは成り立たない
事実12: この少年は移行し易くないがそれはこよない
事実13: あの現場情報は甘くない
事実14: もし「甘くない」ものがあるとしたらこのフリーアクセスは男女双方でないかまたはそれは甘くない
事実15: あらゆる物は生産農家だ
事実16: もしなにかは築き上げないとすればそれはフーリエ逆変換しないししんどいということはない
事実17: もし仮にこのフリーアクセスが男女双方でないとすればそれは死に切れる
事実18: もし「なんらかの物は築き上げるし麗々しい」ということは成り立たないならそれは築き上げるということはない
事実19: この少年は生産農家である

仮説: その観測装置は移行し易い
1. 事実6から、推論1: "この少年はフーリエ逆変換しない一方で生産農家だ"が導かれる
2. 推論1と事実9から、推論2: "その観測装置はしんどい"が導かれる
3. 事実5から、推論3: "もし仮に「その観測装置はしんどい」ということは本当であるとすれば移行し易い"が導かれる
4. 推論2と推論3から、仮説が導かれる

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