あのぴにぴくLv.15は小難しい
fact1: あのぴにぴくLv.15が血腥いということはないならあのぴにぴくLv.15は目まぐるしいということはない fact2: 血腥いということはないモンスターは目まぐるしくないがしかし小難しい fact3: あのぴにぴくLv.15は血腥くない fact4: 結び付き難いということはないモンスターは吸収し易くないが目まぐるしい
fact2 -> int1: あのぴにぴくLv.15が血腥くないとすればあのぴにぴくLv.15は目まぐるしくないがしかし小難しい; int1 & fact3 -> int2: あのぴにぴくLv.15は目まぐるしくないが小難しい; int2 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 -> hypothesis;
もしも「そのもわもちょLv.69は結び付き難くない」ということは成り立つとするとそのもわもちょLv.69は吸収し易くないけれど目まぐるしい
fact5 -> hypothesis;
$facts$ = fact1: あのぴにぴくLv.15が血腥いということはないならあのぴにぴくLv.15は目まぐるしいということはない fact2: 血腥いということはないモンスターは目まぐるしくないがしかし小難しい fact3: あのぴにぴくLv.15は血腥くない fact4: 結び付き難いということはないモンスターは吸収し易くないが目まぐるしい ; $hypothesis$ = あのぴにぴくLv.15は小難しい ; $proof$ = 
fact2 -> int1: あのぴにぴくLv.15が血腥くないとすればあのぴにぴくLv.15は目まぐるしくないがしかし小難しい; int1 & fact3 -> int2: あのぴにぴくLv.15は目まぐるしくないが小難しい; int2 -> hypothesis; __PROVED__
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 -> hypothesis; __PROVED__