「そのみやみえLv.71は上梓するしそれにそれは説明し易い」ということは成り立たない
fact1: そのみやみえLv.71は当て付けがましいししかもおもろい fact2: そのみやみえLv.71は面目無いし更に上梓する fact3: そのみやみえLv.71は説明し易い fact4: このまちょまわLv.49は面目無い fact5: そのみやみえLv.71は面目無い fact6: あのみのみにょLv.16は面目無い
fact2 -> int1: 「そのみやみえLv.71は上梓する」ということは嘘でない; int1 & fact3 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact3 -> hypothesis;
$facts$ = fact1: そのみやみえLv.71は当て付けがましいししかもおもろい fact2: そのみやみえLv.71は面目無いし更に上梓する fact3: そのみやみえLv.71は説明し易い fact4: このまちょまわLv.49は面目無い fact5: そのみやみえLv.71は面目無い fact6: あのみのみにょLv.16は面目無い ; $hypothesis$ = 「そのみやみえLv.71は上梓するしそれにそれは説明し易い」ということは成り立たない ; $proof$ = 
fact2 -> int1: 「そのみやみえLv.71は上梓する」ということは嘘でない; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 & fact3 -> hypothesis; __DISPROVED__