そのぷちゃぷえLv.15は甘酸っぱい
fact1: そのもちゅもいLv.81はネイティブらしい fact2: このみちゅみいLv.20は接近し易い fact3: もしこのみちゅみいLv.20が探し易いし接近し易いならそのぷちゃぷえLv.15は甘酸っぱくない fact4: もし「そのもちゅもいLv.81は接近し易くてそれは摘み取る」ということは嘘だとするとそのもちゅもいLv.81は探し易いということはない fact5: そのもちゅもいLv.81がネイティブらしいとするとこのみちゅみいLv.20は探し易い
fact5 & fact1 -> int1: 「このみちゅみいLv.20は探し易い」ということは本当だ; int1 & fact2 -> int2: このみちゅみいLv.20は探し易くて接近し易い; int2 & fact3 -> hypothesis;
fact5 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: ({B}{b} & {C}{b}); int2 & fact3 -> hypothesis;
そのぷちゃぷえLv.15は甘酸っぱい
$facts$ = fact1: そのもちゅもいLv.81はネイティブらしい fact2: このみちゅみいLv.20は接近し易い fact3: もしこのみちゅみいLv.20が探し易いし接近し易いならそのぷちゃぷえLv.15は甘酸っぱくない fact4: もし「そのもちゅもいLv.81は接近し易くてそれは摘み取る」ということは嘘だとするとそのもちゅもいLv.81は探し易いということはない fact5: そのもちゅもいLv.81がネイティブらしいとするとこのみちゅみいLv.20は探し易い ; $hypothesis$ = そのぷちゃぷえLv.15は甘酸っぱい ; $proof$ = 
fact5 & fact1 -> int1: 「このみちゅみいLv.20は探し易い」ということは本当だ; int1 & fact2 -> int2: このみちゅみいLv.20は探し易くて接近し易い; int2 & fact3 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: ({B}{b} & {C}{b}); int2 & fact3 -> hypothesis; __DISPROVED__