「何らかのモンスターは見え難いしさらに前屈する」ということは本当でない
fact1: 「このぽのぽよLv.42は恐ろしい」ということは成り立つ fact2: そのぷのぷよLv.79は見え難い fact3: あるモンスターは前屈する fact4: このぽのぽよLv.42は前屈する fact5: もしもこのぽのぽよLv.42が前屈しないとしたらこのぽにゅぽよLv.91は御仕え申すし見え難い fact6: このぽのぽよLv.42は艶っぽいしそれに薄青い fact7: このぽのぽよLv.42は御仕え申すし更に見え難い
fact7 -> int1: このぽのぽよLv.42は見え難い; int1 & fact4 -> int2: このぽのぽよLv.42は見え難くてさらにそれは前屈する; int2 -> hypothesis;
fact7 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 -> hypothesis;
このぽにゅぽよLv.91は御仕え申す
$facts$ = fact1: 「このぽのぽよLv.42は恐ろしい」ということは成り立つ fact2: そのぷのぷよLv.79は見え難い fact3: あるモンスターは前屈する fact4: このぽのぽよLv.42は前屈する fact5: もしもこのぽのぽよLv.42が前屈しないとしたらこのぽにゅぽよLv.91は御仕え申すし見え難い fact6: このぽのぽよLv.42は艶っぽいしそれに薄青い fact7: このぽのぽよLv.42は御仕え申すし更に見え難い ; $hypothesis$ = 「何らかのモンスターは見え難いしさらに前屈する」ということは本当でない ; $proof$ = 
fact7 -> int1: このぽのぽよLv.42は見え難い; int1 & fact4 -> int2: このぽのぽよLv.42は見え難くてさらにそれは前屈する; int2 -> hypothesis; __DISPROVED__
fact7 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 -> hypothesis; __DISPROVED__