このみゆみねLv.4は注視・追視しない
fact1: このみゆみねLv.4は良し fact2: あのぷやぷにょLv.63は良し fact3: 仮にあのぷやぷにょLv.63が良しとするとこのみゆみねLv.4は注視・追視する fact4: そのぽえぽのLv.45は良し fact5: もしあのぷやぷにょLv.63が注視・追視するとするとこのみゆみねLv.4は良し
fact2 -> int1: あのぷやぷにょLv.63は良し; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
$facts$ = fact1: このみゆみねLv.4は良し fact2: あのぷやぷにょLv.63は良し fact3: 仮にあのぷやぷにょLv.63が良しとするとこのみゆみねLv.4は注視・追視する fact4: そのぽえぽのLv.45は良し fact5: もしあのぷやぷにょLv.63が注視・追視するとするとこのみゆみねLv.4は良し ; $hypothesis$ = このみゆみねLv.4は注視・追視しない ; $proof$ = 
fact2 -> int1: あのぷやぷにょLv.63は良し; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact3 -> hypothesis; __DISPROVED__