このぴいぴちょLv.94は間違い無い
fact1: もし仮にこのぴいぴちょLv.94が言い兼ねるとしたらそれは天使らしくない fact2: もしこのぴいぴちょLv.94が作業し易いならばこのぴいぴちょLv.94は天使らしくないししかも高いということはない fact3: もしもこのぴいぴちょLv.94が高いかあるいは住み難いとしたらこのぴいぴちょLv.94は間違い無くない fact4: このぴいぴちょLv.94は天使らしい fact5: 何らかのモンスターが天使らしくないとすると住み難くないし間違い無くない fact6: このぴいぴちょLv.94は天使らしいしそれは住み難い
fact6 -> int1: 「このぴいぴちょLv.94は住み難い」ということは事実だ; int1 -> int2: このぴいぴちょLv.94は高いか住み難いかどちらもだ; int2 & fact3 -> hypothesis;
fact6 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 & fact3 -> hypothesis;
このみのみなLv.31は間違い無くない
fact7 -> int3: 仮にこのぴいぴちょLv.94が天使らしくないならこのぴいぴちょLv.94は住み難くないしかつ間違い無くない;
$facts$ = fact1: もし仮にこのぴいぴちょLv.94が言い兼ねるとしたらそれは天使らしくない fact2: もしこのぴいぴちょLv.94が作業し易いならばこのぴいぴちょLv.94は天使らしくないししかも高いということはない fact3: もしもこのぴいぴちょLv.94が高いかあるいは住み難いとしたらこのぴいぴちょLv.94は間違い無くない fact4: このぴいぴちょLv.94は天使らしい fact5: 何らかのモンスターが天使らしくないとすると住み難くないし間違い無くない fact6: このぴいぴちょLv.94は天使らしいしそれは住み難い ; $hypothesis$ = このぴいぴちょLv.94は間違い無い ; $proof$ = 
fact6 -> int1: 「このぴいぴちょLv.94は住み難い」ということは事実だ; int1 -> int2: このぴいぴちょLv.94は高いか住み難いかどちらもだ; int2 & fact3 -> hypothesis; __DISPROVED__
fact6 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 & fact3 -> hypothesis; __DISPROVED__