そのもよもねLv.84はエスコートする
fact1: あのぴちゃぴゆLv.0は狂喜するということはない fact2: 「そのもよもねLv.84は赤黒い」ということは本当だ fact3: もし「そのもよもねLv.84は赤黒い」ということは真実であるとしたらあのぴちゃぴゆLv.0はエスコートする fact4: あのぴちゃぴゆLv.0は汚くない fact5: もし仮にそのもよもねLv.84が通じ易くないとしたらそれは軽々しいかもしくは予測し難いか両方ともである fact6: もしもそのもよもねLv.84が軽々しいし加えてそれが通じ易いならそれはエスコートしない fact7: 仮に「あのぴちゃぴゆLv.0は予測し難い」ということは正しいならそのもよもねLv.84は軽々しい fact8: もしも「あのぴちゃぴゆLv.0は赤黒い」ということは正しいとしたらそのもよもねLv.84は軽々しい fact9: もし仮にあのぴちゃぴゆLv.0が汚くないとしたらあのぴちゃぴゆLv.0は予測し難いかもしくは赤黒いかまたは両方だ fact10: そのもよもねLv.84は通じ易い
fact4 & fact9 -> int1: あのぴちゃぴゆLv.0は予測し難いかまたは赤黒い; int1 & fact7 & fact8 -> int2: そのもよもねLv.84は軽々しい; int2 & fact10 -> int3: そのもよもねLv.84は軽々しくて更に通じ易い; int3 & fact6 -> hypothesis;
fact4 & fact9 -> int1: ({A}{a} v {B}{a}); int1 & fact7 & fact8 -> int2: {C}{c}; int2 & fact10 -> int3: ({C}{c} & {D}{c}); int3 & fact6 -> hypothesis;
$facts$ = fact1: あのぴちゃぴゆLv.0は狂喜するということはない fact2: 「そのもよもねLv.84は赤黒い」ということは本当だ fact3: もし「そのもよもねLv.84は赤黒い」ということは真実であるとしたらあのぴちゃぴゆLv.0はエスコートする fact4: あのぴちゃぴゆLv.0は汚くない fact5: もし仮にそのもよもねLv.84が通じ易くないとしたらそれは軽々しいかもしくは予測し難いか両方ともである fact6: もしもそのもよもねLv.84が軽々しいし加えてそれが通じ易いならそれはエスコートしない fact7: 仮に「あのぴちゃぴゆLv.0は予測し難い」ということは正しいならそのもよもねLv.84は軽々しい fact8: もしも「あのぴちゃぴゆLv.0は赤黒い」ということは正しいとしたらそのもよもねLv.84は軽々しい fact9: もし仮にあのぴちゃぴゆLv.0が汚くないとしたらあのぴちゃぴゆLv.0は予測し難いかもしくは赤黒いかまたは両方だ fact10: そのもよもねLv.84は通じ易い ; $hypothesis$ = そのもよもねLv.84はエスコートする ; $proof$ = 
fact4 & fact9 -> int1: あのぴちゃぴゆLv.0は予測し難いかまたは赤黒い; int1 & fact7 & fact8 -> int2: そのもよもねLv.84は軽々しい; int2 & fact10 -> int3: そのもよもねLv.84は軽々しくて更に通じ易い; int3 & fact6 -> hypothesis; __DISPROVED__
fact4 & fact9 -> int1: ({A}{a} v {B}{a}); int1 & fact7 & fact8 -> int2: {C}{c}; int2 & fact10 -> int3: ({C}{c} & {D}{c}); int3 & fact6 -> hypothesis; __DISPROVED__