「あのぽにぽねLv.70は入手し易くない」ということは確かだ
fact1: 仮にそのもちゃもえLv.73が活動し難いならこのぽのぽねLv.37は初々しい fact2: そのもちゃもえLv.73は初々しい fact3: もし仮にそのもちゃもえLv.73が活動し難いとするとあのみのみちょLv.11は初々しい fact4: もし仮にそのもちゃもえLv.73は初々しいとすれば「このぽのぽねLv.37は活動し難い」ということは事実だ fact5: もし仮にこのぽのぽねLv.37が活動し難いならばあのぽにぽねLv.70は入手し易い fact6: もしも「そのもちゃもえLv.73は活動し難くない」ということは偽でないならばあのぽにぽねLv.70は入手し易くなくてしかもそれは初々しくない
fact4 & fact2 -> int1: このぽのぽねLv.37は活動し難い; int1 & fact5 -> hypothesis;
fact4 & fact2 -> int1: {B}{b}; int1 & fact5 -> hypothesis;
あのみのみちょLv.11は初々しい
$facts$ = fact1: 仮にそのもちゃもえLv.73が活動し難いならこのぽのぽねLv.37は初々しい fact2: そのもちゃもえLv.73は初々しい fact3: もし仮にそのもちゃもえLv.73が活動し難いとするとあのみのみちょLv.11は初々しい fact4: もし仮にそのもちゃもえLv.73は初々しいとすれば「このぽのぽねLv.37は活動し難い」ということは事実だ fact5: もし仮にこのぽのぽねLv.37が活動し難いならばあのぽにぽねLv.70は入手し易い fact6: もしも「そのもちゃもえLv.73は活動し難くない」ということは偽でないならばあのぽにぽねLv.70は入手し易くなくてしかもそれは初々しくない ; $hypothesis$ = 「あのぽにぽねLv.70は入手し易くない」ということは確かだ ; $proof$ = 
fact4 & fact2 -> int1: このぽのぽねLv.37は活動し難い; int1 & fact5 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: {B}{b}; int1 & fact5 -> hypothesis; __DISPROVED__