そのまわまにゅLv.26は入り辛いということはない
fact1: そのまわまにゅLv.26が切ないならそのまわまにゅLv.26は痛ーい fact2: そのまわまにゅLv.26は切ないしおまけに野太い fact3: もし「そのまわまにゅLv.26は痛ーい」ということは成り立てばそのまわまにゅLv.26は入り辛い
fact2 -> int1: そのまわまにゅLv.26は切ない; int1 & fact1 -> int2: そのまわまにゅLv.26は痛ーい; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: そのまわまにゅLv.26が切ないならそのまわまにゅLv.26は痛ーい fact2: そのまわまにゅLv.26は切ないしおまけに野太い fact3: もし「そのまわまにゅLv.26は痛ーい」ということは成り立てばそのまわまにゅLv.26は入り辛い ; $hypothesis$ = そのまわまにゅLv.26は入り辛いということはない ; $proof$ = 
fact2 -> int1: そのまわまにゅLv.26は切ない; int1 & fact1 -> int2: そのまわまにゅLv.26は痛ーい; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__