あのぴちょぴわLv.73は深い
fact1: このぷにゃぷいLv.68は長し fact2: このぷにゃぷいLv.68が長しならばそれは登山家らしい fact3: もしも「このぷにゃぷいLv.68は判別し易くないしそれはいじましくない」ということは間違っているとすると判別し易い fact4: このぷにゃぷいLv.68が判別し易いとすれば深くないしその上ややこしくない
fact2 & fact1 -> int1: このぷにゃぷいLv.68は登山家らしい; int1 -> int2: このぷにゃぷいLv.68は登山家らしいかもしくはそれはややこしい;
fact2 & fact1 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a});
あのぴちょぴわLv.73は腫れぼったいかもしくは登山家らしい
$facts$ = fact1: このぷにゃぷいLv.68は長し fact2: このぷにゃぷいLv.68が長しならばそれは登山家らしい fact3: もしも「このぷにゃぷいLv.68は判別し易くないしそれはいじましくない」ということは間違っているとすると判別し易い fact4: このぷにゃぷいLv.68が判別し易いとすれば深くないしその上ややこしくない ; $hypothesis$ = あのぴちょぴわLv.73は深い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__