そのぴちゃぴやLv.49は回れ右しない
fact1: そのぽちゅぽよLv.15は回れ右する fact2: もしもそのぽちゅぽよLv.15が手早いならばあのもやもにょLv.95は関知する fact3: もしも「あのもやもにょLv.95は関知する」ということは事実であるとすればそのぴちゃぴやLv.49は詰まり易い fact4: そのぽちゅぽよLv.15は手早い fact5: そのぴちゃぴやLv.49が詰まり易いとすればそれは回れ右する
fact2 & fact4 -> int1: あのもやもにょLv.95は関知する; int1 & fact3 -> int2: 「そのぴちゃぴやLv.49は詰まり易い」ということは事実だ; int2 & fact5 -> hypothesis;
fact2 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact5 -> hypothesis;
$facts$ = fact1: そのぽちゅぽよLv.15は回れ右する fact2: もしもそのぽちゅぽよLv.15が手早いならばあのもやもにょLv.95は関知する fact3: もしも「あのもやもにょLv.95は関知する」ということは事実であるとすればそのぴちゃぴやLv.49は詰まり易い fact4: そのぽちゅぽよLv.15は手早い fact5: そのぴちゃぴやLv.49が詰まり易いとすればそれは回れ右する ; $hypothesis$ = そのぴちゃぴやLv.49は回れ右しない ; $proof$ = 
fact2 & fact4 -> int1: あのもやもにょLv.95は関知する; int1 & fact3 -> int2: 「そのぴちゃぴやLv.49は詰まり易い」ということは事実だ; int2 & fact5 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact5 -> hypothesis; __DISPROVED__