「あのぽねぽなLv.34は乗り難い」ということは嘘でない
fact1: あのまやまねLv.52は立て難い fact2: もしも「あのもえもねLv.71は子供らしい」ということは確かだとすればあのぽねぽなLv.34は理解し易い fact3: もし「あのもえもねLv.71は乗り難い」ということは成り立つとすればあのぽねぽなLv.34は子供らしい fact4: もし仮にあのもえもねLv.71は立て難いなら「あのまやまねLv.52は子供らしい」ということは真実だ fact5: 「もし仮にあのぽねぽなLv.34が理解し易いならあのぽねぽなLv.34は乗り難い」ということは成り立つ fact6: もし仮にあのまやまねLv.52が立て難いならばあのもえもねLv.71は子供らしい fact7: あのまやまねLv.52は理解し易いかまたはそれはど偉くないかもしくは両方ともだ
fact6 & fact1 -> int1: あのもえもねLv.71は子供らしい; int1 & fact2 -> int2: あのぽねぽなLv.34は理解し易い; int2 & fact5 -> hypothesis;
fact6 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact5 -> hypothesis;
あのぽねぽなLv.34は乗り難くない
$facts$ = fact1: あのまやまねLv.52は立て難い fact2: もしも「あのもえもねLv.71は子供らしい」ということは確かだとすればあのぽねぽなLv.34は理解し易い fact3: もし「あのもえもねLv.71は乗り難い」ということは成り立つとすればあのぽねぽなLv.34は子供らしい fact4: もし仮にあのもえもねLv.71は立て難いなら「あのまやまねLv.52は子供らしい」ということは真実だ fact5: 「もし仮にあのぽねぽなLv.34が理解し易いならあのぽねぽなLv.34は乗り難い」ということは成り立つ fact6: もし仮にあのまやまねLv.52が立て難いならばあのもえもねLv.71は子供らしい fact7: あのまやまねLv.52は理解し易いかまたはそれはど偉くないかもしくは両方ともだ ; $hypothesis$ = 「あのぽねぽなLv.34は乗り難い」ということは嘘でない ; $proof$ = 
fact6 & fact1 -> int1: あのもえもねLv.71は子供らしい; int1 & fact2 -> int2: あのぽねぽなLv.34は理解し易い; int2 & fact5 -> hypothesis; __PROVED__
fact6 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact5 -> hypothesis; __PROVED__