「そのまやまねLv.35は抜け易いということはなくてしかもそれは正しない」ということは確かでない
fact1: 仮にあのぷよぷにゅLv.68は捕獲するということはないなら「そのまいまにゅLv.4は捕獲しないしそれは借り易くない」ということは嘘である fact2: 仮にそのまいまにゅLv.4が借り易いとするとあのぷよぷにゅLv.68は売っ払う fact3: もしあのぷよぷにゅLv.68は抜け易くないなら「そのまやまねLv.35は抜け易くなくておまけに正しない」ということは誤りである fact4: もしもあのぷよぷにゅLv.68は捕獲するし更に調節し易いなら抜け易くない fact5: あのぷよぷにゅLv.68は調節し易い fact6: そのまいまにゅLv.4は借り易い fact7: もし仮にあのぷよぷにゅLv.68が売っ払えばあのぷよぷにゅLv.68は捕獲する
fact2 & fact6 -> int1: あのぷよぷにゅLv.68は売っ払う; int1 & fact7 -> int2: 「あのぷよぷにゅLv.68は捕獲する」ということは正しい; int2 & fact5 -> int3: あのぷよぷにゅLv.68は捕獲するしさらにそれは調節し易い; int3 & fact4 -> int4: あのぷよぷにゅLv.68は抜け易くない; int4 & fact3 -> hypothesis;
fact2 & fact6 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{b}; int2 & fact5 -> int3: ({C}{b} & {D}{b}); int3 & fact4 -> int4: ¬{E}{b}; int4 & fact3 -> hypothesis;
$facts$ = fact1: 仮にあのぷよぷにゅLv.68は捕獲するということはないなら「そのまいまにゅLv.4は捕獲しないしそれは借り易くない」ということは嘘である fact2: 仮にそのまいまにゅLv.4が借り易いとするとあのぷよぷにゅLv.68は売っ払う fact3: もしあのぷよぷにゅLv.68は抜け易くないなら「そのまやまねLv.35は抜け易くなくておまけに正しない」ということは誤りである fact4: もしもあのぷよぷにゅLv.68は捕獲するし更に調節し易いなら抜け易くない fact5: あのぷよぷにゅLv.68は調節し易い fact6: そのまいまにゅLv.4は借り易い fact7: もし仮にあのぷよぷにゅLv.68が売っ払えばあのぷよぷにゅLv.68は捕獲する ; $hypothesis$ = 「そのまやまねLv.35は抜け易いということはなくてしかもそれは正しない」ということは確かでない ; $proof$ = 
fact2 & fact6 -> int1: あのぷよぷにゅLv.68は売っ払う; int1 & fact7 -> int2: 「あのぷよぷにゅLv.68は捕獲する」ということは正しい; int2 & fact5 -> int3: あのぷよぷにゅLv.68は捕獲するしさらにそれは調節し易い; int3 & fact4 -> int4: あのぷよぷにゅLv.68は抜け易くない; int4 & fact3 -> hypothesis; __PROVED__
fact2 & fact6 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{b}; int2 & fact5 -> int3: ({C}{b} & {D}{b}); int3 & fact4 -> int4: ¬{E}{b}; int4 & fact3 -> hypothesis; __PROVED__