「あのみねみやLv.20は黒っぽくてそれにそれは心安い」ということは成り立つということはない
fact1: あのまくまちょLv.34が叩き直すとすれば聞き取り難い fact2: あのまくまちょLv.34は欠勤しないがしかし影響され易い fact3: 「あのまくまちょLv.34は欠勤しない」ということは成り立つ fact4: 手早いモンスターはださい fact5: もし仮にあのまくまちょLv.34が欠勤しないけど影響され易いとすれば「それは叩き直す」ということは本当だ fact6: もしもあのまくまちょLv.34が聞き取り難いとしたらあのみねみやLv.20は手早い fact7: あのみねみやLv.20が手早いとすればそれは心安い fact8: 「もしとあるモンスターは聞き取り難くないとすると「黒っぽいしそれに心安い」ということは事実だということはない」ということは事実である fact9: もし仮にあのまくまちょLv.34は欠勤するし加えて影響され易いなら叩き直す fact10: そのぴちゃぴにゃLv.70は手早い fact11: あのみねみやLv.20は黒っぽい
fact5 & fact2 -> int1: あのまくまちょLv.34は叩き直す; int1 & fact1 -> int2: あのまくまちょLv.34は聞き取り難い; int2 & fact6 -> int3: あのみねみやLv.20は手早い; int3 & fact7 -> int4: あのみねみやLv.20は心安い; int4 & fact11 -> hypothesis;
fact5 & fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {A}{a}; int2 & fact6 -> int3: {C}{b}; int3 & fact7 -> int4: {D}{b}; int4 & fact11 -> hypothesis;
そのぴちゃぴにゃLv.70はださいし加えてそれは影響され易い
fact12 -> int5: そのぴちゃぴにゃLv.70が手早いならばださい; int5 & fact13 -> int6: そのぴちゃぴにゃLv.70はださい;
$facts$ = fact1: あのまくまちょLv.34が叩き直すとすれば聞き取り難い fact2: あのまくまちょLv.34は欠勤しないがしかし影響され易い fact3: 「あのまくまちょLv.34は欠勤しない」ということは成り立つ fact4: 手早いモンスターはださい fact5: もし仮にあのまくまちょLv.34が欠勤しないけど影響され易いとすれば「それは叩き直す」ということは本当だ fact6: もしもあのまくまちょLv.34が聞き取り難いとしたらあのみねみやLv.20は手早い fact7: あのみねみやLv.20が手早いとすればそれは心安い fact8: 「もしとあるモンスターは聞き取り難くないとすると「黒っぽいしそれに心安い」ということは事実だということはない」ということは事実である fact9: もし仮にあのまくまちょLv.34は欠勤するし加えて影響され易いなら叩き直す fact10: そのぴちゃぴにゃLv.70は手早い fact11: あのみねみやLv.20は黒っぽい ; $hypothesis$ = 「あのみねみやLv.20は黒っぽくてそれにそれは心安い」ということは成り立つということはない ; $proof$ = 
fact5 & fact2 -> int1: あのまくまちょLv.34は叩き直す; int1 & fact1 -> int2: あのまくまちょLv.34は聞き取り難い; int2 & fact6 -> int3: あのみねみやLv.20は手早い; int3 & fact7 -> int4: あのみねみやLv.20は心安い; int4 & fact11 -> hypothesis; __DISPROVED__
fact5 & fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {A}{a}; int2 & fact6 -> int3: {C}{b}; int3 & fact7 -> int4: {D}{b}; int4 & fact11 -> hypothesis; __DISPROVED__