「あのぴいぴなLv.55は壊れ易いし眩い」ということは偽だ
fact1: あのまえまわLv.31は女らしい fact2: あのぴいぴなLv.55は女らしい fact3: あのまえまわLv.31は眩い fact4: あのぴいぴなLv.55は眩い fact5: もしもあのまえまわLv.31が調和し難いとしたらあのぴいぴなLv.55は壊れ易い fact6: 仮にあのまえまわLv.31が女らしいならあのまえまわLv.31は調和し難い
fact6 & fact1 -> int1: あのまえまわLv.31は調和し難い; int1 & fact5 -> int2: あのぴいぴなLv.55は壊れ易い; int2 & fact4 -> hypothesis;
fact6 & fact1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: あのまえまわLv.31は女らしい fact2: あのぴいぴなLv.55は女らしい fact3: あのまえまわLv.31は眩い fact4: あのぴいぴなLv.55は眩い fact5: もしもあのまえまわLv.31が調和し難いとしたらあのぴいぴなLv.55は壊れ易い fact6: 仮にあのまえまわLv.31が女らしいならあのまえまわLv.31は調和し難い ; $hypothesis$ = 「あのぴいぴなLv.55は壊れ易いし眩い」ということは偽だ ; $proof$ = 
fact6 & fact1 -> int1: あのまえまわLv.31は調和し難い; int1 & fact5 -> int2: あのぴいぴなLv.55は壊れ易い; int2 & fact4 -> hypothesis; __DISPROVED__
fact6 & fact1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __DISPROVED__