このぴにゃぴゆLv.35は纏める
fact1: 壊れ易くないモンスターは真新しくない一方で小さい fact2: あのぴゆぴくLv.14は吸収し易い fact3: 仮にあのぴゆぴくLv.14が小さくなくてまた壊れ易いということはないとすればこのぴにゃぴゆLv.35は明るくない fact4: もしもあのぴゆぴくLv.14が明るいとすればこのぴにゃぴゆLv.35は吸収し易い fact5: このぴにゃぴゆLv.35が明るいとすればこのぴにゃぴゆLv.35は纏める fact6: もし仮にあのぴゆぴくLv.14が真新しいとしたらこのぴにゃぴゆLv.35は明るい fact7: そのまくまちゃLv.1は吸収し易い fact8: もしもあのぴゆぴくLv.14が吸収し易いとすればあのぴゆぴくLv.14は真新しい fact9: 明るいモンスターは真新しいけど吸収し易くない
fact8 & fact2 -> int1: あのぴゆぴくLv.14は真新しい; int1 & fact6 -> int2: このぴにゃぴゆLv.35は明るい; int2 & fact5 -> hypothesis;
fact8 & fact2 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
このぴにゃぴゆLv.35は纏めない
fact10 -> int3: あのぴゆぴくLv.14が明るいとしたら真新しい一方で吸収し易いということはない;
$facts$ = fact1: 壊れ易くないモンスターは真新しくない一方で小さい fact2: あのぴゆぴくLv.14は吸収し易い fact3: 仮にあのぴゆぴくLv.14が小さくなくてまた壊れ易いということはないとすればこのぴにゃぴゆLv.35は明るくない fact4: もしもあのぴゆぴくLv.14が明るいとすればこのぴにゃぴゆLv.35は吸収し易い fact5: このぴにゃぴゆLv.35が明るいとすればこのぴにゃぴゆLv.35は纏める fact6: もし仮にあのぴゆぴくLv.14が真新しいとしたらこのぴにゃぴゆLv.35は明るい fact7: そのまくまちゃLv.1は吸収し易い fact8: もしもあのぴゆぴくLv.14が吸収し易いとすればあのぴゆぴくLv.14は真新しい fact9: 明るいモンスターは真新しいけど吸収し易くない ; $hypothesis$ = このぴにゃぴゆLv.35は纏める ; $proof$ = 
fact8 & fact2 -> int1: あのぴゆぴくLv.14は真新しい; int1 & fact6 -> int2: このぴにゃぴゆLv.35は明るい; int2 & fact5 -> hypothesis; __PROVED__
fact8 & fact2 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __PROVED__