あの此れ等製品は兼城でない
fact1: あの既成科学は社会事象でない fact2: もしも「軍人らしくないしサリーでない」ものがあるならあの規模・能力は来演する fact3: もしあの此れ等製品が来演するとするとあの規模・能力は兼城だ fact4: もしも「兼城であるということはないしサリーでない」ものがあるとすればあの此れ等製品は来演する fact5: あの既成科学は熟し切れないし更にそれはキャラメル味でない fact6: あの大将軍信仰は軍人らしくないしかつサリーでない fact7: あの大将軍信仰は引き易くないし更に鉄工でない fact8: もし「あの規模・能力は来演しないけど軍人らしい」ということは嘘だとするとこの時機はサリーである fact9: 「来演しないがサリーな」物はある fact10: 「兼城でない」ものはある fact11: 話し難くないものはある fact12: あの大将軍信仰は兼城である fact13: 「御寄せ下さらない」物はある fact14: もし仮にあの規模・能力は軍人らしいとすれば「あの大将軍信仰は来演する」ということは正しい fact15: 厭わしいものが展望だとすると兼城でない fact16: 仮に「兼城でなくて更にサリーでない」ものがあるとしたらあの大将軍信仰は来演する fact17: あの大将軍信仰は糞食らうということはなくてそれに軍人らしくない fact18: なにがしかの物は兼城でなくてそれに来演しない fact19: あの此れ等製品は来演しない fact20: そのデバイスが皮肉っぽくないとすればあの此れ等製品は厭わしくてそれは展望である fact21: もし「あの規模・能力は来演する」ということは成り立つとするとあの此れ等製品は兼城である fact22: あの規模・能力は軍人らしい
fact6 -> int1: 「軍人らしくないしその上サリーでない」物はある; int1 & fact2 -> int2: あの規模・能力は来演する; int2 & fact21 -> hypothesis;
fact6 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact2 -> int2: {C}{a}; int2 & fact21 -> hypothesis;
この時機はサリーだ
fact23 -> int3: もしもあの此れ等製品は厭わしいしさらに展望であるとしたらそれは兼城でない; fact26 -> int4: あの既成科学は熟し切れない; fact24 & int4 -> int5: あの既成科学は社会事象でないしそれは熟し切れない; int5 -> int6: 「社会事象でないしさらに熟し切れるということはない」物はある;
$facts$ = fact1: あの既成科学は社会事象でない fact2: もしも「軍人らしくないしサリーでない」ものがあるならあの規模・能力は来演する fact3: もしあの此れ等製品が来演するとするとあの規模・能力は兼城だ fact4: もしも「兼城であるということはないしサリーでない」ものがあるとすればあの此れ等製品は来演する fact5: あの既成科学は熟し切れないし更にそれはキャラメル味でない fact6: あの大将軍信仰は軍人らしくないしかつサリーでない fact7: あの大将軍信仰は引き易くないし更に鉄工でない fact8: もし「あの規模・能力は来演しないけど軍人らしい」ということは嘘だとするとこの時機はサリーである fact9: 「来演しないがサリーな」物はある fact10: 「兼城でない」ものはある fact11: 話し難くないものはある fact12: あの大将軍信仰は兼城である fact13: 「御寄せ下さらない」物はある fact14: もし仮にあの規模・能力は軍人らしいとすれば「あの大将軍信仰は来演する」ということは正しい fact15: 厭わしいものが展望だとすると兼城でない fact16: 仮に「兼城でなくて更にサリーでない」ものがあるとしたらあの大将軍信仰は来演する fact17: あの大将軍信仰は糞食らうということはなくてそれに軍人らしくない fact18: なにがしかの物は兼城でなくてそれに来演しない fact19: あの此れ等製品は来演しない fact20: そのデバイスが皮肉っぽくないとすればあの此れ等製品は厭わしくてそれは展望である fact21: もし「あの規模・能力は来演する」ということは成り立つとするとあの此れ等製品は兼城である fact22: あの規模・能力は軍人らしい ; $hypothesis$ = あの此れ等製品は兼城でない ; $proof$ = 
fact6 -> int1: 「軍人らしくないしその上サリーでない」物はある; int1 & fact2 -> int2: あの規模・能力は来演する; int2 & fact21 -> hypothesis; __DISPROVED__
事実1: あの既成科学は社会事象でない
事実2: もしも「軍人らしくないしサリーでない」ものがあるならあの規模・能力は来演する
事実3: もしあの此れ等製品が来演するとするとあの規模・能力は兼城だ
事実4: もしも「兼城であるということはないしサリーでない」ものがあるとすればあの此れ等製品は来演する
事実5: あの既成科学は熟し切れないし更にそれはキャラメル味でない
事実6: あの大将軍信仰は軍人らしくないしかつサリーでない
事実7: あの大将軍信仰は引き易くないし更に鉄工でない
事実8: もし「あの規模・能力は来演しないけど軍人らしい」ということは嘘だとするとこの時機はサリーである
事実9: 「来演しないがサリーな」物はある
事実10: 「兼城でない」ものはある
事実11: 話し難くないものはある
事実12: あの大将軍信仰は兼城である
事実13: 「御寄せ下さらない」物はある
事実14: もし仮にあの規模・能力は軍人らしいとすれば「あの大将軍信仰は来演する」ということは正しい
事実15: 厭わしいものが展望だとすると兼城でない
事実16: 仮に「兼城でなくて更にサリーでない」ものがあるとしたらあの大将軍信仰は来演する
事実17: あの大将軍信仰は糞食らうということはなくてそれに軍人らしくない
事実18: なにがしかの物は兼城でなくてそれに来演しない
事実19: あの此れ等製品は来演しない
事実20: そのデバイスが皮肉っぽくないとすればあの此れ等製品は厭わしくてそれは展望である
事実21: もし「あの規模・能力は来演する」ということは成り立つとするとあの此れ等製品は兼城である
事実22: あの規模・能力は軍人らしい

仮説: あの此れ等製品は兼城でない
1. 事実6から、推論1: "「軍人らしくないしその上サリーでない」物はある"が導かれる
2. 推論1と事実2から、推論2: "あの規模・能力は来演する"が導かれる
3. 推論2と事実21から、仮説が否定される

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