このぴにょぴえLv.4は開拓する
fact1: そのぴいぴよLv.42は酸っぱくないなら「このぴにょぴえLv.4は御高くないし酸っぱくない」ということは確かでない fact2: もし仮にこのぴにょぴえLv.4はタイアップするとしたら「開拓する」ということは本当だ fact3: もしもそのぴいぴよLv.42は御高いとしたら「このぴにょぴえLv.4は酸っぱい」ということは成り立つ fact4: そのぴいぴよLv.42は真ん丸い fact5: 「そのぴいぴよLv.42は勘違いし易い」ということは真実だ fact6: もしもそのぴいぴよLv.42が真ん丸いしまた勘違いし易いならそのぴいぴよLv.42は酸っぱくない
fact4 & fact5 -> int1: そのぴいぴよLv.42は真ん丸いし勘違いし易い; int1 & fact6 -> int2: そのぴいぴよLv.42は酸っぱくない; int2 & fact1 -> int3: 「このぴにょぴえLv.4は御高くなくてその上酸っぱくない」ということは間違いだ;
fact4 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> int2: ¬{C}{a}; int2 & fact1 -> int3: ¬(¬{D}{b} & ¬{C}{b});
このぴにょぴえLv.4は開拓しない
$facts$ = fact1: そのぴいぴよLv.42は酸っぱくないなら「このぴにょぴえLv.4は御高くないし酸っぱくない」ということは確かでない fact2: もし仮にこのぴにょぴえLv.4はタイアップするとしたら「開拓する」ということは本当だ fact3: もしもそのぴいぴよLv.42は御高いとしたら「このぴにょぴえLv.4は酸っぱい」ということは成り立つ fact4: そのぴいぴよLv.42は真ん丸い fact5: 「そのぴいぴよLv.42は勘違いし易い」ということは真実だ fact6: もしもそのぴいぴよLv.42が真ん丸いしまた勘違いし易いならそのぴいぴよLv.42は酸っぱくない ; $hypothesis$ = このぴにょぴえLv.4は開拓する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__