「そのみちゅみにゅLv.74は底堅くないがしかし歌わす」ということは成り立たない
fact1: もしそのぷにゃぷゆLv.18が歌わすとすればそのみちゅみにゅLv.74は底堅くないがしかしそれは歌わす fact2: そのみねみえLv.23は付着し易いしおまけにそれは忘れ易い fact3: 「通達する」モンスターがいるならそのぷにゃぷゆLv.18は歌わす fact4: 仮に「忘れ易いかまたは通達する」モンスターがいるならそのぷにゃぷゆLv.18は歌わす fact5: そのみちゅみにゅLv.74は底堅いということはない fact6: もしもそのみねみえLv.23は付着し易くないとしたら「そのみちゅみにゅLv.74は底堅くないがしかし歌わす」ということは事実と異なる
fact2 -> int1: そのみねみえLv.23は忘れ易い; int1 -> int2: そのみねみえLv.23は忘れ易いかあるいは通達するかもしくはどちらもだ; int2 -> int3: 「忘れ易いかもしくは通達する」モンスターはいる; int3 & fact4 -> int4: そのぷにゃぷゆLv.18は歌わす; int4 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 -> int3: (Ex): ({B}x v {C}x); int3 & fact4 -> int4: {D}{b}; int4 & fact1 -> hypothesis;
「そのみちゅみにゅLv.74は底堅くないがしかし歌わす」ということは成り立たない
$facts$ = fact1: もしそのぷにゃぷゆLv.18が歌わすとすればそのみちゅみにゅLv.74は底堅くないがしかしそれは歌わす fact2: そのみねみえLv.23は付着し易いしおまけにそれは忘れ易い fact3: 「通達する」モンスターがいるならそのぷにゃぷゆLv.18は歌わす fact4: 仮に「忘れ易いかまたは通達する」モンスターがいるならそのぷにゃぷゆLv.18は歌わす fact5: そのみちゅみにゅLv.74は底堅いということはない fact6: もしもそのみねみえLv.23は付着し易くないとしたら「そのみちゅみにゅLv.74は底堅くないがしかし歌わす」ということは事実と異なる ; $hypothesis$ = 「そのみちゅみにゅLv.74は底堅くないがしかし歌わす」ということは成り立たない ; $proof$ = 
fact2 -> int1: そのみねみえLv.23は忘れ易い; int1 -> int2: そのみねみえLv.23は忘れ易いかあるいは通達するかもしくはどちらもだ; int2 -> int3: 「忘れ易いかもしくは通達する」モンスターはいる; int3 & fact4 -> int4: そのぷにゃぷゆLv.18は歌わす; int4 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 -> int3: (Ex): ({B}x v {C}x); int3 & fact4 -> int4: {D}{b}; int4 & fact1 -> hypothesis; __DISPROVED__