その正教はエブリーだ
fact1: 仮に「この感染性は珍しかない」ということは真実ならばその正教はエブリーでない fact2: その諸役職が癌手術だということはないとするとこの感染性は癌手術であるかまたは珍しいということはないか両方である fact3: その活用方法はトリアムシノロンであるかあるいは見切らないか両方だ fact4: もしも何かは毒々しかないとすれば「泥臭いトリアムシノロンだ」ということは成り立たない fact5: もし仮にこの川辺川ダムが見切らないとするとその活用方法は毒々しいということはない fact6: この川辺川ダムは売却決定取り消しであるかもしくはそれは見切らないかもしくは両方ともである fact7: もしもその諸役職が珍しかないとすればこの感染性は癌手術でない fact8: もし仮に「その活用方法が泥臭いしその上トリアムシノロンだ」ということは成り立たないとするとその諸役職は癌手術でない fact9: もしも「その活用方法はエブリーである」ということは正しいとすればあの正教はトリアムシノロンでない fact10: この川辺川ダムは売却決定取り消しであるかあるいは珍しかない fact11: その諸役職はトリアムシノロンでない fact12: 仮にこの川辺川ダムがトリアムシノロンでないとするとその活用方法は毒々しかない fact13: この感染性が売却決定取り消しでないならこの川辺川ダムは珍しかない fact14: もしも「この川辺川ダムは売却決定取り消しだ」ということは事実であるとしたらその活用方法は毒々しかない fact15: この国是は癌手術でない fact16: 「その活用方法は売却決定取り消しでしかも毒々しい」ということは嘘だ fact17: もし仮にこの感染性が癌手術でないとすればその諸役職は売却決定取り消しだ fact18: もし仮にその諸役職が泥臭いとしたらその活用方法は癌手術でない fact19: もしもその諸役職が見切らないならばこの川辺川ダムは癌手術だということはない fact20: 売却決定取り消しはエブリーである fact21: 売却決定取り消しは泥臭いかもしくはダーツでないかもしくはどちらもである fact22: もしもこの感染性が癌手術だとすればその正教はエブリーでない
fact6 & fact14 & fact5 -> int1: その活用方法は毒々しかない; fact4 -> int2: もしその活用方法は毒々しいということはないなら「泥臭いし更にそれはトリアムシノロンだ」ということは誤りである; int1 & int2 -> int3: 「その活用方法は泥臭くてトリアムシノロンである」ということは成り立たない; int3 & fact8 -> int4: その諸役職は癌手術でない; int4 & fact2 -> int5: この感染性は癌手術であるかもしくは珍しかないかまたは両方ともだ; int5 & fact22 & fact1 -> hypothesis;
その正教はエブリーだ
fact23 -> 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 & fact14 & fact5 -> int1: その活用方法は毒々しかない; fact4 -> int2: もしその活用方法は毒々しいということはないなら「泥臭いし更にそれはトリアムシノロンだ」ということは誤りである; int1 & int2 -> int3: 「その活用方法は泥臭くてトリアムシノロンである」ということは成り立たない; int3 & fact8 -> int4: その諸役職は癌手術でない; int4 & fact2 -> int5: この感染性は癌手術であるかもしくは珍しかないかまたは両方ともだ; int5 & fact22 & fact1 -> 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と事実14と事実5から、推論1: "その活用方法は毒々しかない"が導かれる
2. 事実4から、推論2: "もしその活用方法は毒々しいということはないなら「泥臭いし更にそれはトリアムシノロンだ」ということは誤りである"が導かれる
3. 推論1と推論2から、推論3: "「その活用方法は泥臭くてトリアムシノロンである」ということは成り立たない"が導かれる
4. 推論3と事実8から、推論4: "その諸役職は癌手術でない"が導かれる
5. 推論4と事実2から、推論5: "この感染性は癌手術であるかもしくは珍しかないかまたは両方ともだ"が導かれる
6. 推論5と事実22と事実1から、仮説が否定される

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