「そのもなもにゅLv.94は消印しない」ということは間違いだということはない
fact1: もし仮に「なんらかのモンスターは忘れっぽくない」ということは本当であるなら「提供し始めるしそれにそれは四角い」ということは成り立たない fact2: もしも「細長くない」モンスターがいればそのもなもにゅLv.94は忘れっぽくない fact3: もし仮にそのもなもにゅLv.94が忘れっぽくないがしかしそれが罪深いとするとそれは消印する fact4: それは罪深くないが消印するというモンスターはない fact5: みみっちくて更に細長いモンスターはない fact6: そのもなもにゅLv.94は罪深い fact7: 「「みみっちいし細長い」ということは成り立たない」モンスターがいるとするとそのもなもにゅLv.94は忘れっぽくない
fact5 -> int1: 「そのぷなぷにょLv.79はみみっちいしおまけに細長い」ということは誤りだ; int1 -> int2: 「「「みみっちくておまけに細長い」ということは成り立たない」モンスターはいる」ということは成り立つ; int2 & fact7 -> int3: そのもなもにゅLv.94は忘れっぽくない; int3 & fact6 -> int4: そのもなもにゅLv.94は忘れっぽくないけど罪深い; int4 & fact3 -> hypothesis;
fact5 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 -> int2: (Ex): ¬({AA}x & {AB}x); int2 & fact7 -> int3: ¬{A}{a}; int3 & fact6 -> int4: (¬{A}{a} & {B}{a}); int4 & fact3 -> hypothesis;
「「提供し始めるし四角い」ということは成り立たない」モンスターはいる
fact8 -> int5: 「そのぴゆぴなLv.10は忘れっぽいということはない」ということは真実だとすると「提供し始めるし四角い」ということは成り立たない; fact9 -> int6: 「そのぴゆぴなLv.10は罪深くないけれど消印する」ということは本当でない;
$facts$ = fact1: もし仮に「なんらかのモンスターは忘れっぽくない」ということは本当であるなら「提供し始めるしそれにそれは四角い」ということは成り立たない fact2: もしも「細長くない」モンスターがいればそのもなもにゅLv.94は忘れっぽくない fact3: もし仮にそのもなもにゅLv.94が忘れっぽくないがしかしそれが罪深いとするとそれは消印する fact4: それは罪深くないが消印するというモンスターはない fact5: みみっちくて更に細長いモンスターはない fact6: そのもなもにゅLv.94は罪深い fact7: 「「みみっちいし細長い」ということは成り立たない」モンスターがいるとするとそのもなもにゅLv.94は忘れっぽくない ; $hypothesis$ = 「そのもなもにゅLv.94は消印しない」ということは間違いだということはない ; $proof$ = 
fact5 -> int1: 「そのぷなぷにょLv.79はみみっちいしおまけに細長い」ということは誤りだ; int1 -> int2: 「「「みみっちくておまけに細長い」ということは成り立たない」モンスターはいる」ということは成り立つ; int2 & fact7 -> int3: そのもなもにゅLv.94は忘れっぽくない; int3 & fact6 -> int4: そのもなもにゅLv.94は忘れっぽくないけど罪深い; int4 & fact3 -> hypothesis; __DISPROVED__
fact5 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 -> int2: (Ex): ¬({AA}x & {AB}x); int2 & fact7 -> int3: ¬{A}{a}; int3 & fact6 -> int4: (¬{A}{a} & {B}{a}); int4 & fact3 -> hypothesis; __DISPROVED__