あのみくみちゃLv.3は聞き辛くない
fact1: もしあのみくみちゃLv.3が拙いとしたらそれは聞き辛い fact2: もし仮に「このまいまわLv.29は欲しいかもしくはそれは拙くない」ということは成り立つということはないならばこのぽやぽにょLv.75は気恥ずかしいということはない fact3: 気恥ずかしいモンスターは大差無い fact4: あのみくみちゃLv.3は気恥ずかしい fact5: もし仮に何らかのモンスターが欲しくないけど拙いとすればこのもゆもにゅLv.72は拙くない fact6: 仮に「あのぷいぷやLv.45は拙い」ということは確かなら「長居する」ということは成り立つ fact7: もしあのみくみちゃLv.3が大差無いとするとあのみくみちゃLv.3は拙い fact8: もしこのぽやぽにょLv.75が気恥ずかしくないししかも聞き辛くないならあのみくみちゃLv.3は聞き辛いということはない
fact3 -> int1: もし仮にあのみくみちゃLv.3が気恥ずかしいならば大差無い; int1 & fact4 -> int2: あのみくみちゃLv.3は大差無い; int2 & fact7 -> int3: あのみくみちゃLv.3は拙い; int3 & fact1 -> hypothesis;
fact3 -> int1: {A}{a} -> {B}{a}; int1 & fact4 -> int2: {B}{a}; int2 & fact7 -> int3: {C}{a}; int3 & fact1 -> hypothesis;
このもゆもにゅLv.72は大差無い
$facts$ = fact1: もしあのみくみちゃLv.3が拙いとしたらそれは聞き辛い fact2: もし仮に「このまいまわLv.29は欲しいかもしくはそれは拙くない」ということは成り立つということはないならばこのぽやぽにょLv.75は気恥ずかしいということはない fact3: 気恥ずかしいモンスターは大差無い fact4: あのみくみちゃLv.3は気恥ずかしい fact5: もし仮に何らかのモンスターが欲しくないけど拙いとすればこのもゆもにゅLv.72は拙くない fact6: 仮に「あのぷいぷやLv.45は拙い」ということは確かなら「長居する」ということは成り立つ fact7: もしあのみくみちゃLv.3が大差無いとするとあのみくみちゃLv.3は拙い fact8: もしこのぽやぽにょLv.75が気恥ずかしくないししかも聞き辛くないならあのみくみちゃLv.3は聞き辛いということはない ; $hypothesis$ = あのみくみちゃLv.3は聞き辛くない ; $proof$ = 
fact3 -> int1: もし仮にあのみくみちゃLv.3が気恥ずかしいならば大差無い; int1 & fact4 -> int2: あのみくみちゃLv.3は大差無い; int2 & fact7 -> int3: あのみくみちゃLv.3は拙い; int3 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a} -> {B}{a}; int1 & fact4 -> int2: {B}{a}; int2 & fact7 -> int3: {C}{a}; int3 & fact1 -> hypothesis; __DISPROVED__