あのぽちょぽちゅLv.44はつまされる
fact1: もしもあのぽちょぽちゅLv.44が利き難い一方で御考えるということはないならばあのぽちょぽちゅLv.44はつまされない fact2: もしも「あのぽちょぽちゅLv.44は利き難くてさらに御考える」ということは誤りでないとするとそれはつまされない fact3: あのぽちょぽちゅLv.44は御考えない fact4: あのぽちょぽちゅLv.44は利き難いがしかしそれは御考えない fact5: もしあのぽちょぽちゅLv.44がつまされるとしたらあのみやみにLv.78は御考えるけど落ち易くない
fact4 -> int1: あのぽちょぽちゅLv.44は利き難いがしかしそれは御考えない; int1 & fact1 -> hypothesis;
fact4 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact1 -> hypothesis;
「あのみやみにLv.78は御考えるがしかし落ち易くない」ということは事実である
$facts$ = fact1: もしもあのぽちょぽちゅLv.44が利き難い一方で御考えるということはないならばあのぽちょぽちゅLv.44はつまされない fact2: もしも「あのぽちょぽちゅLv.44は利き難くてさらに御考える」ということは誤りでないとするとそれはつまされない fact3: あのぽちょぽちゅLv.44は御考えない fact4: あのぽちょぽちゅLv.44は利き難いがしかしそれは御考えない fact5: もしあのぽちょぽちゅLv.44がつまされるとしたらあのみやみにLv.78は御考えるけど落ち易くない ; $hypothesis$ = あのぽちょぽちゅLv.44はつまされる ; $proof$ = 
fact4 -> int1: あのぽちょぽちゅLv.44は利き難いがしかしそれは御考えない; int1 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact1 -> hypothesis; __DISPROVED__