このぽちょぽよLv.65は特記すが自分らしくない
fact1: 特記すし自分らしいということはないというモンスターはない fact2: 仮にあるモンスターはどぎついならば「冷え易くてそれは引き難くない」ということは間違っている fact3: 狭いということはないモンスターはどぎついということはない fact4: どぎつかないモンスターは特記すけれど自分らしくない fact5: 仮に古いモンスターが飢え乾かないとするとそれは狭くない
fact1 -> int1: 特記すし自分らしいということはないというモンスターはない; int1 -> hypothesis;
fact1 -> int1: (x): ¬({AA}x & ¬{AB}x); int1 -> hypothesis;
このぽちょぽよLv.65は特記すが自分らしくない
fact8 -> int2: もしもこのぽちょぽよLv.65がどぎつかないならあのぽちょぽよLv.65は特記すがしかしそれは自分らしいということはない; fact6 -> int3: 仮に「このぽちょぽよLv.65は狭くない」ということは成り立つならこのぽちょぽよLv.65はどぎつかない; fact7 -> int4: もし仮にこのぽちょぽよLv.65が古い一方でそれは飢え乾かないならそれは狭いということはない;
$facts$ = fact1: 特記すし自分らしいということはないというモンスターはない fact2: 仮にあるモンスターはどぎついならば「冷え易くてそれは引き難くない」ということは間違っている fact3: 狭いということはないモンスターはどぎついということはない fact4: どぎつかないモンスターは特記すけれど自分らしくない fact5: 仮に古いモンスターが飢え乾かないとするとそれは狭くない ; $hypothesis$ = このぽちょぽよLv.65は特記すが自分らしくない ; $proof$ = 
fact1 -> int1: 特記すし自分らしいということはないというモンスターはない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): ¬({AA}x & ¬{AB}x); int1 -> hypothesis; __DISPROVED__