「あのぽよぽいLv.94は尊いし加えて生温かい」ということは成り立たない
fact1: あのぽよぽいLv.94は生温かい fact2: 仮にあのぽよぽいLv.94が堪り易いとするとそれは尊い fact3: もしもとあるモンスターは堪り易くないとしたら「それは尊いし更に生温かい」ということは成り立たない fact4: あのぽよぽいLv.94は堪り易い fact5: あのみいみなLv.6は堪り易い
fact2 & fact4 -> int1: あのぽよぽいLv.94は尊い; int1 & fact1 -> hypothesis;
fact2 & fact4 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
「あのぽよぽいLv.94は尊いし加えて生温かい」ということは成り立たない
fact6 -> int2: あのぽよぽいLv.94は堪り易くないならば「それは尊いしその上生温かい」ということは成り立たない;
$facts$ = fact1: あのぽよぽいLv.94は生温かい fact2: 仮にあのぽよぽいLv.94が堪り易いとするとそれは尊い fact3: もしもとあるモンスターは堪り易くないとしたら「それは尊いし更に生温かい」ということは成り立たない fact4: あのぽよぽいLv.94は堪り易い fact5: あのみいみなLv.6は堪り易い ; $hypothesis$ = 「あのぽよぽいLv.94は尊いし加えて生温かい」ということは成り立たない ; $proof$ = 
fact2 & fact4 -> int1: あのぽよぽいLv.94は尊い; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __DISPROVED__