このもちょもわLv.47は上げ易い
fact1: 仮に「あのぷのぷえLv.95は覚束無くない」ということは確かであるとしたらこのもちょもわLv.47は持ち難いかもしくはそれは分解するということはない fact2: あのぷのぷえLv.95は覚束無くない fact3: このもちょもわLv.47が進み易いし阿呆らしいとしたらこのもちょもわLv.47は上げ易くない fact4: このもちょもわLv.47は阿呆らしい fact5: もし仮にこのもちょもわLv.47が持ち難いかもしくは分解しないかまたは両方だとしたらこのもちょもわLv.47は進み易い
fact2 & fact1 -> int1: このもちょもわLv.47は持ち難いかまたは分解しないかまたは両方である; fact5 & int1 -> int2: このもちょもわLv.47は進み易い; int2 & fact4 -> int3: このもちょもわLv.47は進み易いししかもそれは阿呆らしい; int3 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ({AA}{a} v ¬{AB}{a}); fact5 & int1 -> int2: {B}{a}; int2 & fact4 -> int3: ({B}{a} & {A}{a}); int3 & fact3 -> hypothesis;
$facts$ = fact1: 仮に「あのぷのぷえLv.95は覚束無くない」ということは確かであるとしたらこのもちょもわLv.47は持ち難いかもしくはそれは分解するということはない fact2: あのぷのぷえLv.95は覚束無くない fact3: このもちょもわLv.47が進み易いし阿呆らしいとしたらこのもちょもわLv.47は上げ易くない fact4: このもちょもわLv.47は阿呆らしい fact5: もし仮にこのもちょもわLv.47が持ち難いかもしくは分解しないかまたは両方だとしたらこのもちょもわLv.47は進み易い ; $hypothesis$ = このもちょもわLv.47は上げ易い ; $proof$ = 
fact2 & fact1 -> int1: このもちょもわLv.47は持ち難いかまたは分解しないかまたは両方である; fact5 & int1 -> int2: このもちょもわLv.47は進み易い; int2 & fact4 -> int3: このもちょもわLv.47は進み易いししかもそれは阿呆らしい; int3 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: ({AA}{a} v ¬{AB}{a}); fact5 & int1 -> int2: {B}{a}; int2 & fact4 -> int3: ({B}{a} & {A}{a}); int3 & fact3 -> hypothesis; __DISPROVED__