「そのまちゃまゆLv.78は相入れるしそれにおどろおどろしい」ということは嘘である
fact1: そのまちゃまゆLv.78はおどろおどろしい fact2: 何らかのモンスターは歌舞伎っぽくないとすれば「それは相入れるし加えてそれはおどろおどろしい」ということは偽だ fact3: もし仮にあのぴにょぴにょLv.42が惚れ惚れすればそのまちゃまゆLv.78は相入れる fact4: もし仮にあのぴにょぴにょLv.42が危なっかしいがしかしそれが見分けないとすれば惚れ惚れする fact5: あのぽにぽにゃLv.3が歌舞伎っぽいならあのぴにょぴにょLv.42は危なっかしい fact6: もし仮にあのぴにょぴにょLv.42が宜しし惚れ惚れするならあのぽにぽにゃLv.3は惚れ惚れするということはない fact7: あのぽにぽにゃLv.3は歌舞伎っぽい fact8: もし「あのぽにぽにゃLv.3は見分けるということはないがしかし危なっかしい」ということは成り立たないならそのまちゃまゆLv.78は歌舞伎っぽくない fact9: あのぴにょぴにょLv.42は見分けない
fact5 & fact7 -> int1: あのぴにょぴにょLv.42は危なっかしい; int1 & fact9 -> int2: あのぴにょぴにょLv.42は危なっかしいけど見分けない; int2 & fact4 -> int3: あのぴにょぴにょLv.42は惚れ惚れする; int3 & fact3 -> int4: そのまちゃまゆLv.78は相入れる; int4 & fact1 -> hypothesis;
fact5 & fact7 -> int1: {B}{b}; int1 & fact9 -> int2: ({B}{b} & ¬{C}{b}); int2 & fact4 -> int3: {D}{b}; int3 & fact3 -> int4: {E}{c}; int4 & fact1 -> hypothesis;
「そのまちゃまゆLv.78は相入れるしそれにおどろおどろしい」ということは嘘である
fact11 -> int5: もしそのまちゃまゆLv.78は歌舞伎っぽくないなら「それは相入れるしそれにおどろおどろしい」ということは嘘だ;
$facts$ = fact1: そのまちゃまゆLv.78はおどろおどろしい fact2: 何らかのモンスターは歌舞伎っぽくないとすれば「それは相入れるし加えてそれはおどろおどろしい」ということは偽だ fact3: もし仮にあのぴにょぴにょLv.42が惚れ惚れすればそのまちゃまゆLv.78は相入れる fact4: もし仮にあのぴにょぴにょLv.42が危なっかしいがしかしそれが見分けないとすれば惚れ惚れする fact5: あのぽにぽにゃLv.3が歌舞伎っぽいならあのぴにょぴにょLv.42は危なっかしい fact6: もし仮にあのぴにょぴにょLv.42が宜しし惚れ惚れするならあのぽにぽにゃLv.3は惚れ惚れするということはない fact7: あのぽにぽにゃLv.3は歌舞伎っぽい fact8: もし「あのぽにぽにゃLv.3は見分けるということはないがしかし危なっかしい」ということは成り立たないならそのまちゃまゆLv.78は歌舞伎っぽくない fact9: あのぴにょぴにょLv.42は見分けない ; $hypothesis$ = 「そのまちゃまゆLv.78は相入れるしそれにおどろおどろしい」ということは嘘である ; $proof$ = 
fact5 & fact7 -> int1: あのぴにょぴにょLv.42は危なっかしい; int1 & fact9 -> int2: あのぴにょぴにょLv.42は危なっかしいけど見分けない; int2 & fact4 -> int3: あのぴにょぴにょLv.42は惚れ惚れする; int3 & fact3 -> int4: そのまちゃまゆLv.78は相入れる; int4 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact7 -> int1: {B}{b}; int1 & fact9 -> int2: ({B}{b} & ¬{C}{b}); int2 & fact4 -> int3: {D}{b}; int3 & fact3 -> int4: {E}{c}; int4 & fact1 -> hypothesis; __DISPROVED__