あのもゆもいLv.55は姉らしくない
fact1: 仮にこのまちょまくLv.4が酔い易いかまたは変え難いかあるいは両方であるとすればあのもゆもいLv.55は姉らしくない fact2: あのまよまわLv.63は姉らしくない fact3: もしあのまよまわLv.63が答え易いかまたは変え難いとしたらこのまちょまくLv.4は歩き易くない fact4: 「あのまよまわLv.63は答え易いが歩き易くない」ということは事実でない fact5: もしも「あのまよまわLv.63は答え易い一方で歩き易くない」ということは正しいということはないならばこのまちょまくLv.4は酔い易い
fact5 & fact4 -> int1: このまちょまくLv.4は酔い易い; int1 -> int2: このまちょまくLv.4は酔い易いかもしくはそれは変え難いかあるいはどちらもだ; int2 & fact1 -> hypothesis;
fact5 & fact4 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {A}{b}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 仮にこのまちょまくLv.4が酔い易いかまたは変え難いかあるいは両方であるとすればあのもゆもいLv.55は姉らしくない fact2: あのまよまわLv.63は姉らしくない fact3: もしあのまよまわLv.63が答え易いかまたは変え難いとしたらこのまちょまくLv.4は歩き易くない fact4: 「あのまよまわLv.63は答え易いが歩き易くない」ということは事実でない fact5: もしも「あのまよまわLv.63は答え易い一方で歩き易くない」ということは正しいということはないならばこのまちょまくLv.4は酔い易い ; $hypothesis$ = あのもゆもいLv.55は姉らしくない ; $proof$ = 
fact5 & fact4 -> int1: このまちょまくLv.4は酔い易い; int1 -> int2: このまちょまくLv.4は酔い易いかもしくはそれは変え難いかあるいはどちらもだ; int2 & fact1 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {A}{b}); int2 & fact1 -> hypothesis; __PROVED__