「このぽちゅぽちょLv.15は骨っぽくなくておまけに厳めしかない」ということは事実と異なる
fact1: このものもなLv.0が腹立たしいとするとこのぽちゅぽちょLv.15は骨っぽくないしかつ厳めしかない fact2: このぽちゅぽちょLv.15は骨っぽいということはない fact3: このもにゅもにLv.63が不足し易いとしたらそのぷやぷちょLv.77は支配し始める fact4: もしもそのぷやぷちょLv.77が支配し始めるとすればそれはすりゃ良い fact5: このもにゅもにLv.63は素早い fact6: もしもこのものもなLv.0が腹立たしいならこのぽちゅぽちょLv.15は骨っぽいということはない fact7: 仮になんらかのモンスターが支配し始めるなら不足し易い fact8: 「もし仮にそのぷやぷちょLv.77はすりゃ良いとすると「このものもなLv.0は腹立たしい」ということは確かである」ということは真実だ fact9: なにがしかのモンスターは素早いとしたら「それは骨っぽいということはないしかつそれは厳めしかない」ということは誤りだ fact10: もしこのもにゅもにLv.63が素早いとしたらそれは不足し易い fact11: とあるモンスターが不足し易いならばそれは素早い
fact10 & fact5 -> int1: このもにゅもにLv.63は不足し易い; int1 & fact3 -> int2: 「そのぷやぷちょLv.77は支配し始める」ということは確かだ; int2 & fact4 -> int3: そのぷやぷちょLv.77はすりゃ良い; int3 & fact8 -> int4: このものもなLv.0は腹立たしい; int4 & fact1 -> hypothesis;
fact10 & fact5 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; int3 & fact8 -> int4: {E}{c}; int4 & fact1 -> hypothesis;
「このぽちゅぽちょLv.15は骨っぽくなくておまけに厳めしかない」ということは事実と異なる
fact13 -> int5: このぽちゅぽちょLv.15は素早いとすると「それは骨っぽくないしさらにそれは厳めしかない」ということは誤りである; fact12 -> int6: 仮にこのぽちゅぽちょLv.15が不足し易いとすればこのぽちゅぽちょLv.15は素早い; fact14 -> int7: もし仮にこのぽちゅぽちょLv.15が支配し始めるとすればこのぽちゅぽちょLv.15は不足し易い;
$facts$ = fact1: このものもなLv.0が腹立たしいとするとこのぽちゅぽちょLv.15は骨っぽくないしかつ厳めしかない fact2: このぽちゅぽちょLv.15は骨っぽいということはない fact3: このもにゅもにLv.63が不足し易いとしたらそのぷやぷちょLv.77は支配し始める fact4: もしもそのぷやぷちょLv.77が支配し始めるとすればそれはすりゃ良い fact5: このもにゅもにLv.63は素早い fact6: もしもこのものもなLv.0が腹立たしいならこのぽちゅぽちょLv.15は骨っぽいということはない fact7: 仮になんらかのモンスターが支配し始めるなら不足し易い fact8: 「もし仮にそのぷやぷちょLv.77はすりゃ良いとすると「このものもなLv.0は腹立たしい」ということは確かである」ということは真実だ fact9: なにがしかのモンスターは素早いとしたら「それは骨っぽいということはないしかつそれは厳めしかない」ということは誤りだ fact10: もしこのもにゅもにLv.63が素早いとしたらそれは不足し易い fact11: とあるモンスターが不足し易いならばそれは素早い ; $hypothesis$ = 「このぽちゅぽちょLv.15は骨っぽくなくておまけに厳めしかない」ということは事実と異なる ; $proof$ = 
fact10 & fact5 -> int1: このもにゅもにLv.63は不足し易い; int1 & fact3 -> int2: 「そのぷやぷちょLv.77は支配し始める」ということは確かだ; int2 & fact4 -> int3: そのぷやぷちょLv.77はすりゃ良い; int3 & fact8 -> int4: このものもなLv.0は腹立たしい; int4 & fact1 -> hypothesis; __DISPROVED__
fact10 & fact5 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; int3 & fact8 -> int4: {E}{c}; int4 & fact1 -> hypothesis; __DISPROVED__