「そのまゆまよLv.11は保ち易いということはない」ということは間違っていない
fact1: もしもあのまちょまなLv.82が理屈っぽいならそれは塩茹でする fact2: もし仮に「このまのまよLv.67は考え深い」ということは事実だとするとあのまちょまなLv.82は理屈っぽい fact3: このまのまよLv.67は考え深い fact4: 仮にそのぴねぴにゃLv.60が塩茹でしないとすれば理屈っぽいしそれは考え深い fact5: もしあのまちょまなLv.82が塩茹でするとするとそのまゆまよLv.11は保ち易い
fact2 & fact3 -> int1: あのまちょまなLv.82は理屈っぽい; int1 & fact1 -> int2: あのまちょまなLv.82は塩茹でする; int2 & fact5 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
そのぴねぴにゃLv.60は理屈っぽい
$facts$ = fact1: もしもあのまちょまなLv.82が理屈っぽいならそれは塩茹でする fact2: もし仮に「このまのまよLv.67は考え深い」ということは事実だとするとあのまちょまなLv.82は理屈っぽい fact3: このまのまよLv.67は考え深い fact4: 仮にそのぴねぴにゃLv.60が塩茹でしないとすれば理屈っぽいしそれは考え深い fact5: もしあのまちょまなLv.82が塩茹でするとするとそのまゆまよLv.11は保ち易い ; $hypothesis$ = 「そのまゆまよLv.11は保ち易いということはない」ということは間違っていない ; $proof$ = 
fact2 & fact3 -> int1: あのまちょまなLv.82は理屈っぽい; int1 & fact1 -> int2: あのまちょまなLv.82は塩茹でする; int2 & fact5 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __DISPROVED__