あのぴちゃぴわLv.50は名状し難い
fact1: 仮にそのぴわぴちゅLv.84が禍々しいししかも細かいならあのぴちゃぴわLv.50は名状し難くない fact2: そのぴわぴちゅLv.84は禍々しい fact3: あのぷよぷねLv.68は禍々しい fact4: そのぴわぴちゅLv.84は細かい
fact2 & fact4 -> int1: 「そのぴわぴちゅLv.84は禍々しいししかも細かい」ということは真実である; int1 & fact1 -> hypothesis;
fact2 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis;
あのぷよぷねLv.68は細かいしまた立て始める
$facts$ = fact1: 仮にそのぴわぴちゅLv.84が禍々しいししかも細かいならあのぴちゃぴわLv.50は名状し難くない fact2: そのぴわぴちゅLv.84は禍々しい fact3: あのぷよぷねLv.68は禍々しい fact4: そのぴわぴちゅLv.84は細かい ; $hypothesis$ = あのぴちゃぴわLv.50は名状し難い ; $proof$ = 
fact2 & fact4 -> int1: 「そのぴわぴちゅLv.84は禍々しいししかも細かい」ということは真実である; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis; __DISPROVED__