以下のように仮定する。そのぴくぴねLv.5は消化し難い一方でそれは上昇し易くない
fact1: このぴにゃぴちゅLv.20は消化し難い fact2: 消化し難いし更に上昇し易いということはないモンスターは滞り易くない fact3: そのぴくぴねLv.5は田舎っぽい fact4: そのぴくぴねLv.5は滞り易い fact5: そのみくみちゅLv.40は消化し難くて更に大人し fact6: 仮にそのみくみちゅLv.40が消化し難くて入れ易いとしたらこのもよもちゅLv.42は消化し難くない
fact2 -> int1: もしそのぴくぴねLv.5が消化し難いがしかし上昇し易くないとすればそのぴくぴねLv.5は滞り易くない; void -> assump1: 以下のように仮定する。そのぴくぴねLv.5は消化し難い一方でそれは上昇し易くない; int1 & assump1 -> int2: そのぴくぴねLv.5は滞り易くない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ({AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
このもよもちゅLv.42は消化し難くない
fact8 -> int4: 「そのみくみちゅLv.40は消化し難い」ということは真実だ;
$facts$ = fact1: このぴにゃぴちゅLv.20は消化し難い fact2: 消化し難いし更に上昇し易いということはないモンスターは滞り易くない fact3: そのぴくぴねLv.5は田舎っぽい fact4: そのぴくぴねLv.5は滞り易い fact5: そのみくみちゅLv.40は消化し難くて更に大人し fact6: 仮にそのみくみちゅLv.40が消化し難くて入れ易いとしたらこのもよもちゅLv.42は消化し難くない ; $hypothesis$ = 以下のように仮定する。そのぴくぴねLv.5は消化し難い一方でそれは上昇し易くない ; $proof$ = 
fact2 -> int1: もしそのぴくぴねLv.5が消化し難いがしかし上昇し易くないとすればそのぴくぴねLv.5は滞り易くない; void -> assump1: 以下のように仮定する。そのぴくぴねLv.5は消化し難い一方でそれは上昇し易くない; int1 & assump1 -> int2: そのぴくぴねLv.5は滞り易くない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ({AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__