そのぴわぴにゅLv.84は涼しくない
fact1: もしもそのぴわぴにゅLv.84がそそっかしいならそれは涼しい fact2: そのみゆみねLv.77は涼しい fact3: もしもあのぽいぽやLv.76は極まり悪いということはないとしたら「あのぽいぽやLv.76はひもじくておまけに面白い」ということは誤りでない fact4: 「そのぴわぴにゅLv.84はそそっかしい」ということは真実である
fact4 -> int1: 「そのぴわぴにゅLv.84はそそっかしい」ということは真実である; int1 & fact1 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
そのぴわぴにゅLv.84は涼しくない
$facts$ = fact1: もしもそのぴわぴにゅLv.84がそそっかしいならそれは涼しい fact2: そのみゆみねLv.77は涼しい fact3: もしもあのぽいぽやLv.76は極まり悪いということはないとしたら「あのぽいぽやLv.76はひもじくておまけに面白い」ということは誤りでない fact4: 「そのぴわぴにゅLv.84はそそっかしい」ということは真実である ; $hypothesis$ = そのぴわぴにゅLv.84は涼しくない ; $proof$ = 
fact4 -> int1: 「そのぴわぴにゅLv.84はそそっかしい」ということは真実である; int1 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__