そのみいみねLv.38は人間っぽいということはない
fact1: 「このもやもくLv.75は私らしいし人間っぽい」ということは確かでない fact2: もしこのもやもくLv.75が木目細かくないとするとそのみいみねLv.38は私らしいが人間っぽくない fact3: このもやもくLv.75は私らしいということはないけれど木目細かい fact4: もし仮に「「与し易いけど破れ難くない」ということは事実と異なる」モンスターはいれば「そのみいみねLv.38は人間っぽい」ということは成り立つ fact5: 「このまくまわLv.47は人間っぽいがしかしそれは破れ難いということはない」ということは成り立たない fact6: なにがしかのモンスターは人間っぽいが破れ難くない fact7: もしこのもやもくLv.75は私らしくないならば「このまくまわLv.47は与し易いけど破れ難いということはない」ということは事実と異なる fact8: 人間っぽいモンスターであり更に木目細かくないモンスターはいる
fact3 -> int1: このもやもくLv.75は私らしいということはない; fact7 & int1 -> int2: 「このまくまわLv.47は与し易いがそれは破れ難くない」ということは真実でない; int2 -> int3: 「「与し易くて更に破れ難くない」ということは誤っている」モンスターはいる; int3 & fact4 -> hypothesis;
fact3 -> int1: ¬{A}{a}; fact7 & int1 -> int2: ¬({AA}{b} & ¬{AB}{b}); int2 -> int3: (Ex): ¬({AA}x & ¬{AB}x); int3 & fact4 -> hypothesis;
そのみいみねLv.38は人間っぽいということはない
$facts$ = fact1: 「このもやもくLv.75は私らしいし人間っぽい」ということは確かでない fact2: もしこのもやもくLv.75が木目細かくないとするとそのみいみねLv.38は私らしいが人間っぽくない fact3: このもやもくLv.75は私らしいということはないけれど木目細かい fact4: もし仮に「「与し易いけど破れ難くない」ということは事実と異なる」モンスターはいれば「そのみいみねLv.38は人間っぽい」ということは成り立つ fact5: 「このまくまわLv.47は人間っぽいがしかしそれは破れ難いということはない」ということは成り立たない fact6: なにがしかのモンスターは人間っぽいが破れ難くない fact7: もしこのもやもくLv.75は私らしくないならば「このまくまわLv.47は与し易いけど破れ難いということはない」ということは事実と異なる fact8: 人間っぽいモンスターであり更に木目細かくないモンスターはいる ; $hypothesis$ = そのみいみねLv.38は人間っぽいということはない ; $proof$ = 
fact3 -> int1: このもやもくLv.75は私らしいということはない; fact7 & int1 -> int2: 「このまくまわLv.47は与し易いがそれは破れ難くない」ということは真実でない; int2 -> int3: 「「与し易くて更に破れ難くない」ということは誤っている」モンスターはいる; int3 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬{A}{a}; fact7 & int1 -> int2: ¬({AA}{b} & ¬{AB}{b}); int2 -> int3: (Ex): ¬({AA}x & ¬{AB}x); int3 & fact4 -> hypothesis; __DISPROVED__