みみっちいということは生じない
fact1: 聡いということは「みみっちいということが生じる」ということを生じさせる fact2: 聡いということが生じる
fact2 -> int1: 聡いということが生じる; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
$facts$ = fact1: 聡いということは「みみっちいということが生じる」ということを生じさせる fact2: 聡いということが生じる ; $hypothesis$ = みみっちいということは生じない ; $proof$ = 
fact2 -> int1: 聡いということが生じる; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __DISPROVED__