このぽいぽよLv.53は出易くない
fact1: もしもこのぽいぽわLv.0が来辛いならこのぴえぴにゃLv.89は気持ち良い fact2: もしこのぽにゃぽちゃLv.54が天狗らしいならこのぽいぽわLv.0は来辛い fact3: もし仮にこのぴえぴにゃLv.89が気持ち良いとしたらこのぽいぽよLv.53は飲み難い fact4: 「このぽにゃぽちゃLv.54は天狗らしい」ということは成り立つ fact5: 「もし仮にこのぽいぽよLv.53が飲み難いならこのぽいぽよLv.53は出易い」ということは確かだ
fact2 & fact4 -> int1: 「このぽいぽわLv.0は来辛い」ということは間違っているということはない; fact1 & int1 -> int2: このぴえぴにゃLv.89は気持ち良い; int2 & fact3 -> int3: このぽいぽよLv.53は飲み難い; int3 & fact5 -> hypothesis;
fact2 & fact4 -> int1: {A}{a}; fact1 & int1 -> int2: {B}{b}; int2 & fact3 -> int3: {C}{c}; int3 & fact5 -> hypothesis;
$facts$ = fact1: もしもこのぽいぽわLv.0が来辛いならこのぴえぴにゃLv.89は気持ち良い fact2: もしこのぽにゃぽちゃLv.54が天狗らしいならこのぽいぽわLv.0は来辛い fact3: もし仮にこのぴえぴにゃLv.89が気持ち良いとしたらこのぽいぽよLv.53は飲み難い fact4: 「このぽにゃぽちゃLv.54は天狗らしい」ということは成り立つ fact5: 「もし仮にこのぽいぽよLv.53が飲み難いならこのぽいぽよLv.53は出易い」ということは確かだ ; $hypothesis$ = このぽいぽよLv.53は出易くない ; $proof$ = 
fact2 & fact4 -> int1: 「このぽいぽわLv.0は来辛い」ということは間違っているということはない; fact1 & int1 -> int2: このぴえぴにゃLv.89は気持ち良い; int2 & fact3 -> int3: このぽいぽよLv.53は飲み難い; int3 & fact5 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: {A}{a}; fact1 & int1 -> int2: {B}{b}; int2 & fact3 -> int3: {C}{c}; int3 & fact5 -> hypothesis; __DISPROVED__