「あのぽちょぽわLv.64は塩っ辛くないがしかし御返り下さる」ということは事実と異なる
fact1: もし仮にこのまちゃまちょLv.66が聞き取り難いとするとあのみゆみゆLv.57は思い付ける fact2: もしあのみゆみゆLv.57が限り無ししそれが手荒いとするとあのぽちょぽわLv.64は塩っ辛くない fact3: もし仮にあのみゆみゆLv.57が思い付ければ限り無し fact4: あのぽちょぽわLv.64は御返り下さる fact5: もし仮に「「聞き取り難くないがしかし御返り下さる」ということは誤っている」モンスターがいればそのぽえぽよLv.44は御返り下さらない fact6: 仮に何らかのモンスターは聞き取り難いならば「塩っ辛くなくてその上御返り下さる」ということは偽である fact7: もしもこのまちゃまちょLv.66が熱苦しくないとしたら限り無ししさらにそれは手荒い fact8: 「あのみゆみゆLv.57は手荒い」ということは成り立つ fact9: もし仮に「このまちゃまちょLv.66は寝かし付けるということはなくてめでたしない」ということは事実と異なるとしたらこのまちゃまちょLv.66は熱苦しくない fact10: このまちゃまちょLv.66は聞き取り難い
fact1 & fact10 -> int1: あのみゆみゆLv.57は思い付ける; int1 & fact3 -> int2: あのみゆみゆLv.57は限り無し; int2 & fact8 -> int3: あのみゆみゆLv.57は限り無ししそれに手荒い; int3 & fact2 -> int4: あのぽちょぽわLv.64は塩っ辛くない; int4 & fact4 -> hypothesis;
fact1 & fact10 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; int2 & fact8 -> int3: ({C}{b} & {D}{b}); int3 & fact2 -> int4: ¬{E}{c}; int4 & fact4 -> hypothesis;
そのぽえぽよLv.44は御返り下さらないけど長い
$facts$ = fact1: もし仮にこのまちゃまちょLv.66が聞き取り難いとするとあのみゆみゆLv.57は思い付ける fact2: もしあのみゆみゆLv.57が限り無ししそれが手荒いとするとあのぽちょぽわLv.64は塩っ辛くない fact3: もし仮にあのみゆみゆLv.57が思い付ければ限り無し fact4: あのぽちょぽわLv.64は御返り下さる fact5: もし仮に「「聞き取り難くないがしかし御返り下さる」ということは誤っている」モンスターがいればそのぽえぽよLv.44は御返り下さらない fact6: 仮に何らかのモンスターは聞き取り難いならば「塩っ辛くなくてその上御返り下さる」ということは偽である fact7: もしもこのまちゃまちょLv.66が熱苦しくないとしたら限り無ししさらにそれは手荒い fact8: 「あのみゆみゆLv.57は手荒い」ということは成り立つ fact9: もし仮に「このまちゃまちょLv.66は寝かし付けるということはなくてめでたしない」ということは事実と異なるとしたらこのまちゃまちょLv.66は熱苦しくない fact10: このまちゃまちょLv.66は聞き取り難い ; $hypothesis$ = 「あのぽちょぽわLv.64は塩っ辛くないがしかし御返り下さる」ということは事実と異なる ; $proof$ = 
fact1 & fact10 -> int1: あのみゆみゆLv.57は思い付ける; int1 & fact3 -> int2: あのみゆみゆLv.57は限り無し; int2 & fact8 -> int3: あのみゆみゆLv.57は限り無ししそれに手荒い; int3 & fact2 -> int4: あのぽちょぽわLv.64は塩っ辛くない; int4 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact10 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; int2 & fact8 -> int3: ({C}{b} & {D}{b}); int3 & fact2 -> int4: ¬{E}{c}; int4 & fact4 -> hypothesis; __DISPROVED__