このもちゃもにLv.78は無理無くないししかも追い付かない
fact1: もしもこのぷちょぷいLv.51が悪しいかあるいは熱し易いかどちらもだとすれば「あのぽくぽゆLv.39は表わし為さらない」ということは確かである fact2: 仮にこのぴやぴちょLv.91は売り難いとすると「このもちゃもにLv.78は無理無くないしそれにそれは追い付かない」ということは成り立つということはない fact3: 仮に「あのぽくぽゆLv.39はすげなくない」ということは成り立たないならば「このぴやぴちょLv.91は売り難い」ということは成り立つ fact4: 「このぷちょぷいLv.51は悪しい」ということは誤りでない fact5: 仮にあのぽくぽゆLv.39が表わし為さらないならばそれはすげない fact6: このぷちょぷいLv.51が悪しくないならこのもちゃもにLv.78は無理無いということはなくて追い付かない
fact4 -> int1: このぷちょぷいLv.51は悪しいかそれは熱し易いかまたは両方である; int1 & fact1 -> int2: あのぽくぽゆLv.39は表わし為さらない; int2 & fact5 -> int3: あのぽくぽゆLv.39はすげない; int3 & fact3 -> int4: 「このぴやぴちょLv.91は売り難い」ということは成り立つ; int4 & fact2 -> hypothesis;
fact4 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact5 -> int3: {D}{b}; int3 & fact3 -> int4: {E}{c}; int4 & fact2 -> hypothesis;
このもちゃもにLv.78は無理無くないししかも追い付かない
$facts$ = fact1: もしもこのぷちょぷいLv.51が悪しいかあるいは熱し易いかどちらもだとすれば「あのぽくぽゆLv.39は表わし為さらない」ということは確かである fact2: 仮にこのぴやぴちょLv.91は売り難いとすると「このもちゃもにLv.78は無理無くないしそれにそれは追い付かない」ということは成り立つということはない fact3: 仮に「あのぽくぽゆLv.39はすげなくない」ということは成り立たないならば「このぴやぴちょLv.91は売り難い」ということは成り立つ fact4: 「このぷちょぷいLv.51は悪しい」ということは誤りでない fact5: 仮にあのぽくぽゆLv.39が表わし為さらないならばそれはすげない fact6: このぷちょぷいLv.51が悪しくないならこのもちゃもにLv.78は無理無いということはなくて追い付かない ; $hypothesis$ = このもちゃもにLv.78は無理無くないししかも追い付かない ; $proof$ = 
fact4 -> int1: このぷちょぷいLv.51は悪しいかそれは熱し易いかまたは両方である; int1 & fact1 -> int2: あのぽくぽゆLv.39は表わし為さらない; int2 & fact5 -> int3: あのぽくぽゆLv.39はすげない; int3 & fact3 -> int4: 「このぴやぴちょLv.91は売り難い」ということは成り立つ; int4 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact5 -> int3: {D}{b}; int3 & fact3 -> int4: {E}{c}; int4 & fact2 -> hypothesis; __DISPROVED__