この蔓は購読する
fact1: もしもむくつけしない物が染みるとしたらあのケミカルは購読するということはない fact2: あのケミカルはむくつけし fact3: 「あの英会話ティーム・ティーチングは凹まさないがそれは染みる」ということは誤りである fact4: 何かは染みるししかもむくつけし fact5: この蔓は抱擁しない fact6: 仮に「「深夜営業だ」ということは偽でない」ものはあるとすると「あのケミカルは深夜営業であるしまた抱擁する」ということは成り立たない fact7: もしもあのケミカルが深夜営業だとするとそれは染みない fact8: 「あのケミカルは購読するということはない一方でそれは抱擁する」ということは事実と異なる fact9: むくつけしものはある fact10: ある物は好ましとしたら「この蔓は好ましないけどＲＡＷ＿データフォルダである」ということは成り立たない fact11: 「その右壁は力でない一方でそれは抱擁する」ということは誤りだ fact12: この蔓はむくつけしない fact13: 「あのケミカルは深夜営業であるしそれに抱擁する」ということは偽である fact14: もしも「なにがしかの物は深夜営業でないけれど抱擁する」ということは誤っていれば染みるということはない fact15: なにかは深夜営業だとすると染みない fact16: 「染みるということはない」ものはある fact17: 仮に「深夜営業な」ものはあるとしたら「あのケミカルは深夜営業でないが抱擁する」ということは嘘だ fact18: とあるものは深夜営業だ fact19: 仮に「染みない一方でむくつけし」ものがあるとするとこの蔓は購読しない
fact14 -> int1: もしも「あのケミカルは深夜営業でないけれど抱擁する」ということは成り立つということはないとすればそれは染みるということはない; fact17 & fact18 -> int2: 「あのケミカルは深夜営業でないがしかし抱擁する」ということは間違いだ; int1 & int2 -> int3: あのケミカルは染みない; int3 & fact2 -> int4: あのケミカルは染みないけどむくつけし; int4 -> int5: ある物は染みるということはないがしかしむくつけし; int5 & fact19 -> hypothesis;
$facts$ = fact1: もしもむくつけしない物が染みるとしたらあのケミカルは購読するということはない fact2: あのケミカルはむくつけし fact3: 「あの英会話ティーム・ティーチングは凹まさないがそれは染みる」ということは誤りである fact4: 何かは染みるししかもむくつけし fact5: この蔓は抱擁しない fact6: 仮に「「深夜営業だ」ということは偽でない」ものはあるとすると「あのケミカルは深夜営業であるしまた抱擁する」ということは成り立たない fact7: もしもあのケミカルが深夜営業だとするとそれは染みない fact8: 「あのケミカルは購読するということはない一方でそれは抱擁する」ということは事実と異なる fact9: むくつけしものはある fact10: ある物は好ましとしたら「この蔓は好ましないけどＲＡＷ＿データフォルダである」ということは成り立たない fact11: 「その右壁は力でない一方でそれは抱擁する」ということは誤りだ fact12: この蔓はむくつけしない fact13: 「あのケミカルは深夜営業であるしそれに抱擁する」ということは偽である fact14: もしも「なにがしかの物は深夜営業でないけれど抱擁する」ということは誤っていれば染みるということはない fact15: なにかは深夜営業だとすると染みない fact16: 「染みるということはない」ものはある fact17: 仮に「深夜営業な」ものはあるとしたら「あのケミカルは深夜営業でないが抱擁する」ということは嘘だ fact18: とあるものは深夜営業だ fact19: 仮に「染みない一方でむくつけし」ものがあるとするとこの蔓は購読しない ; $hypothesis$ = この蔓は購読する ; $proof$ = 
fact14 -> int1: もしも「あのケミカルは深夜営業でないけれど抱擁する」ということは成り立つということはないとすればそれは染みるということはない; fact17 & fact18 -> int2: 「あのケミカルは深夜営業でないがしかし抱擁する」ということは間違いだ; int1 & int2 -> int3: あのケミカルは染みない; int3 & fact2 -> int4: あのケミカルは染みないけどむくつけし; int4 -> int5: ある物は染みるということはないがしかしむくつけし; int5 & fact19 -> hypothesis; __DISPROVED__
事実1: もしもむくつけしない物が染みるとしたらあのケミカルは購読するということはない
事実2: あのケミカルはむくつけし
事実3: 「あの英会話ティーム・ティーチングは凹まさないがそれは染みる」ということは誤りである
事実4: 何かは染みるししかもむくつけし
事実5: この蔓は抱擁しない
事実6: 仮に「「深夜営業だ」ということは偽でない」ものはあるとすると「あのケミカルは深夜営業であるしまた抱擁する」ということは成り立たない
事実7: もしもあのケミカルが深夜営業だとするとそれは染みない
事実8: 「あのケミカルは購読するということはない一方でそれは抱擁する」ということは事実と異なる
事実9: むくつけしものはある
事実10: ある物は好ましとしたら「この蔓は好ましないけどＲＡＷ＿データフォルダである」ということは成り立たない
事実11: 「その右壁は力でない一方でそれは抱擁する」ということは誤りだ
事実12: この蔓はむくつけしない
事実13: 「あのケミカルは深夜営業であるしそれに抱擁する」ということは偽である
事実14: もしも「なにがしかの物は深夜営業でないけれど抱擁する」ということは誤っていれば染みるということはない
事実15: なにかは深夜営業だとすると染みない
事実16: 「染みるということはない」ものはある
事実17: 仮に「深夜営業な」ものはあるとしたら「あのケミカルは深夜営業でないが抱擁する」ということは嘘だ
事実18: とあるものは深夜営業だ
事実19: 仮に「染みない一方でむくつけし」ものがあるとするとこの蔓は購読しない

仮説: この蔓は購読する
1. 事実14から、推論1: "もしも「あのケミカルは深夜営業でないけれど抱擁する」ということは成り立つということはないとすればそれは染みるということはない"が導かれる
2. 事実17と事実18から、推論2: "「あのケミカルは深夜営業でないがしかし抱擁する」ということは間違いだ"が導かれる
3. 推論1と推論2から、推論3: "あのケミカルは染みない"が導かれる
4. 推論3と事実2から、推論4: "あのケミカルは染みないけどむくつけし"が導かれる
5. 推論4から、推論5: "ある物は染みるということはないがしかしむくつけし"が導かれる
6. 推論5と事実19から、仮説が否定される

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