あのみいみえLv.81は清々しい
fact1: もし仮にこのまくまえLv.86が図々しいとするとあのぴゆぴのLv.75は図々しくない fact2: もしもあのみいみえLv.81が卑しとすると清々しいということはない fact3: もしあのぴゆぴのLv.75が図々しくないとするとあのみいみえLv.81は卑ししその上清々しい fact4: 「あのみいみえLv.81は卑しし図々しい」ということは成り立つ
fact4 -> int1: あのみいみえLv.81は卑し; int1 & fact2 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
あのみいみえLv.81は清々しい
$facts$ = fact1: もし仮にこのまくまえLv.86が図々しいとするとあのぴゆぴのLv.75は図々しくない fact2: もしもあのみいみえLv.81が卑しとすると清々しいということはない fact3: もしあのぴゆぴのLv.75が図々しくないとするとあのみいみえLv.81は卑ししその上清々しい fact4: 「あのみいみえLv.81は卑しし図々しい」ということは成り立つ ; $hypothesis$ = あのみいみえLv.81は清々しい ; $proof$ = 
fact4 -> int1: あのみいみえLv.81は卑し; int1 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__