「あのぷなぷえLv.66は攻撃し易くない」ということは成り立つ
fact1: もし仮にこのみちゃみいLv.0が由々しとすればあのぷなぷえLv.66はおっそろし fact2: あのぷなぷえLv.66は由々し fact3: 「仮にあのぷなぷえLv.66がおっそろしならばあのぷなぷえLv.66は攻撃し易い」ということは成り立つ fact4: 全てのモンスターは与し易い fact5: このみちゃみいLv.0は由々しし与し易い
fact5 -> int1: このみちゃみいLv.0は由々し; int1 & fact1 -> int2: あのぷなぷえLv.66はおっそろし; int2 & fact3 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
「あのぷなぷえLv.66は攻撃し易くない」ということは成り立つ
fact6 -> int3: そのぷねぷにゅLv.10は与し易い;
$facts$ = fact1: もし仮にこのみちゃみいLv.0が由々しとすればあのぷなぷえLv.66はおっそろし fact2: あのぷなぷえLv.66は由々し fact3: 「仮にあのぷなぷえLv.66がおっそろしならばあのぷなぷえLv.66は攻撃し易い」ということは成り立つ fact4: 全てのモンスターは与し易い fact5: このみちゃみいLv.0は由々しし与し易い ; $hypothesis$ = 「あのぷなぷえLv.66は攻撃し易くない」ということは成り立つ ; $proof$ = 
fact5 -> int1: このみちゃみいLv.0は由々し; int1 & fact1 -> int2: あのぷなぷえLv.66はおっそろし; int2 & fact3 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__