この映画製作者は艦首でない
fact1: この映画製作者は犇めく fact2: もし「この映画製作者は課しない一方で犇めく」ということは成り立つということはないとするとこの軽鴨親子は大海でない fact3: この一把稲は課するししかも通貨当局である fact4: もしも「この映画製作者は犇めく」ということは成り立つとすればそれは大海である fact5: もし仮にこの映画製作者は艦首でないならば「それは電気ポットであるけれど試行錯誤しない」ということは成り立たない fact6: もし「この映画製作者は艦首だということはない」ということは真実であるとすると「「それは電気ポットでその上試行錯誤する」ということは成り立つ」ということは成り立たない fact7: 仮にこの一把稲が大海でないけどそれが犇めくならこの映画製作者は艦首でない fact8: もしも「あるものは電気ポットだけれど試行錯誤するということはない」ということは事実であるということはないならばそれは大海でない fact9: なにがしかのものは通貨当局だ fact10: もしも「「あの散らしは大海でないかあるいは建築平面図であるかどちらもである」ということは間違いだということはない」ということは間違いであるならばこの一把稲は大海であるということはない
void -> assump1: 以下のように仮定する。「この映画製作者は艦首でない」ということは成り立つ; fact5 & assump1 -> int1: 「この映画製作者は電気ポットだが試行錯誤しない」ということは正しくない; fact8 -> int2: 仮に「「この映画製作者は電気ポットだがしかし試行錯誤しない」ということは成り立つ」ということは間違いならそれは大海でない; int1 & int2 -> int3: この映画製作者は大海であるということはない; fact4 & fact1 -> int4: この映画製作者は大海だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この軽鴨親子は電気ポットである
fact12 -> int6: この一把稲は課する; int6 -> int7: 「課する」物はある;
$facts$ = fact1: この映画製作者は犇めく fact2: もし「この映画製作者は課しない一方で犇めく」ということは成り立つということはないとするとこの軽鴨親子は大海でない fact3: この一把稲は課するししかも通貨当局である fact4: もしも「この映画製作者は犇めく」ということは成り立つとすればそれは大海である fact5: もし仮にこの映画製作者は艦首でないならば「それは電気ポットであるけれど試行錯誤しない」ということは成り立たない fact6: もし「この映画製作者は艦首だということはない」ということは真実であるとすると「「それは電気ポットでその上試行錯誤する」ということは成り立つ」ということは成り立たない fact7: 仮にこの一把稲が大海でないけどそれが犇めくならこの映画製作者は艦首でない fact8: もしも「あるものは電気ポットだけれど試行錯誤するということはない」ということは事実であるということはないならばそれは大海でない fact9: なにがしかのものは通貨当局だ fact10: もしも「「あの散らしは大海でないかあるいは建築平面図であるかどちらもである」ということは間違いだということはない」ということは間違いであるならばこの一把稲は大海であるということはない ; $hypothesis$ = この映画製作者は艦首でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この映画製作者は艦首でない」ということは成り立つ; fact5 & assump1 -> int1: 「この映画製作者は電気ポットだが試行錯誤しない」ということは正しくない; fact8 -> int2: 仮に「「この映画製作者は電気ポットだがしかし試行錯誤しない」ということは成り立つ」ということは間違いならそれは大海でない; int1 & int2 -> int3: この映画製作者は大海であるということはない; fact4 & fact1 -> int4: この映画製作者は大海だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: この映画製作者は犇めく
事実2: もし「この映画製作者は課しない一方で犇めく」ということは成り立つということはないとするとこの軽鴨親子は大海でない
事実3: この一把稲は課するししかも通貨当局である
事実4: もしも「この映画製作者は犇めく」ということは成り立つとすればそれは大海である
事実5: もし仮にこの映画製作者は艦首でないならば「それは電気ポットであるけれど試行錯誤しない」ということは成り立たない
事実6: もし「この映画製作者は艦首だということはない」ということは真実であるとすると「「それは電気ポットでその上試行錯誤する」ということは成り立つ」ということは成り立たない
事実7: 仮にこの一把稲が大海でないけどそれが犇めくならこの映画製作者は艦首でない
事実8: もしも「あるものは電気ポットだけれど試行錯誤するということはない」ということは事実であるということはないならばそれは大海でない
事実9: なにがしかのものは通貨当局だ
事実10: もしも「「あの散らしは大海でないかあるいは建築平面図であるかどちらもである」ということは間違いだということはない」ということは間違いであるならばこの一把稲は大海であるということはない

仮説: この映画製作者は艦首でない
1. 仮定1: 以下のように仮定する。「この映画製作者は艦首でない」ということは成り立つ
2. 事実5と仮定1から、推論1: "「この映画製作者は電気ポットだが試行錯誤しない」ということは正しくない"が導かれる
3. 事実8から、推論2: "仮に「「この映画製作者は電気ポットだがしかし試行錯誤しない」ということは成り立つ」ということは間違いならそれは大海でない"が導かれる
4. 推論1と推論2から、推論3: "この映画製作者は大海であるということはない"が導かれる
5. 事実4と事実1から、推論4: "この映画製作者は大海だ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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