そのぽにゃぽちゅLv.66は溶け易い一方で吐けない
fact1: 心細いモンスターは蘇らないししかも避け難くない fact2: もしそのぽにゃぽちゅLv.66が心細いならばそのぽにゃぽちゅLv.66は溶け易いけれど吐けない fact3: もしそのまくまわLv.59が避け難いとするとそのぽにゃぽちゅLv.66は心細い fact4: そのまくまわLv.59が蘇るとすれば避け難い fact5: 「そのまくまわLv.59は蘇る」ということは成り立つ fact6: そのぷにょぷちゅLv.95は吐けない
fact4 & fact5 -> int1: そのまくまわLv.59は避け難い; int1 & fact3 -> int2: 「そのぽにゃぽちゅLv.66は心細い」ということは成り立つ; int2 & fact2 -> hypothesis;
fact4 & fact5 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
「そのぽにゃぽちゅLv.66は溶け易いけど吐けない」ということは誤りである
fact7 -> int3: 仮にそのまくまわLv.59が心細いなら蘇らなくてまた避け難くない;
$facts$ = fact1: 心細いモンスターは蘇らないししかも避け難くない fact2: もしそのぽにゃぽちゅLv.66が心細いならばそのぽにゃぽちゅLv.66は溶け易いけれど吐けない fact3: もしそのまくまわLv.59が避け難いとするとそのぽにゃぽちゅLv.66は心細い fact4: そのまくまわLv.59が蘇るとすれば避け難い fact5: 「そのまくまわLv.59は蘇る」ということは成り立つ fact6: そのぷにょぷちゅLv.95は吐けない ; $hypothesis$ = そのぽにゃぽちゅLv.66は溶け易い一方で吐けない ; $proof$ = 
fact4 & fact5 -> int1: そのまくまわLv.59は避け難い; int1 & fact3 -> int2: 「そのぽにゃぽちゅLv.66は心細い」ということは成り立つ; int2 & fact2 -> hypothesis; __PROVED__
fact4 & fact5 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __PROVED__