「そのもちょもいLv.3は面倒臭いしまた譲り合う」ということは間違いだ
fact1: そのぷくぷちょLv.56は面倒臭くてまたそれは久し fact2: もしそのもちょもいLv.3が名高いとすればそれは面倒臭い fact3: そのぽのぽえLv.81は強請るしおまけに等し fact4: 「もし仮に「そのぽのぽえLv.81は強請る」ということは成り立てばそのもちょもいLv.3は名高い」ということは本当だ fact5: 等しということはないモンスターは譲り合うしさらに強請る
fact3 -> int1: そのぽのぽえLv.81は強請る; int1 & fact4 -> int2: そのもちょもいLv.3は名高い; int2 & fact2 -> int3: 「そのもちょもいLv.3は面倒臭い」ということは偽でない;
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact2 -> int3: {D}{b};
そのぷくぷちょLv.56は譲り合う
fact7 -> int4: もしそのぷくぷちょLv.56が等しないならそのぷくぷちょLv.56は譲り合うし強請る; fact6 -> int5: そのぷくぷちょLv.56は面倒臭い;
$facts$ = fact1: そのぷくぷちょLv.56は面倒臭くてまたそれは久し fact2: もしそのもちょもいLv.3が名高いとすればそれは面倒臭い fact3: そのぽのぽえLv.81は強請るしおまけに等し fact4: 「もし仮に「そのぽのぽえLv.81は強請る」ということは成り立てばそのもちょもいLv.3は名高い」ということは本当だ fact5: 等しということはないモンスターは譲り合うしさらに強請る ; $hypothesis$ = 「そのもちょもいLv.3は面倒臭いしまた譲り合う」ということは間違いだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__