「このまちょまゆLv.84は冷ますしそれは差し通す」ということは偽である
fact1: そのぷいぷねLv.65が取っ付き難くないとするとこのまちょまゆLv.84は動き難いししかも区別し易い fact2: なんらかのモンスターは仕方無くないならば「冷ますしその上差し通す」ということは正しくない fact3: そのぷいぷねLv.65は仕方無くてまた区別し易い fact4: 仕方無くて更に区別し易くないというモンスターはない fact5: もしもそのぷいぷねLv.65が仕方無いならばこのまちょまゆLv.84は冷ます fact6: 「このまちょまゆLv.84は区別し易い」ということは事実である fact7: 「そのぷいぷねLv.65は区別し易い」ということは確かだ fact8: このまちょまゆLv.84は差し通す
fact3 -> int1: そのぷいぷねLv.65は仕方無い; int1 & fact5 -> int2: このまちょまゆLv.84は冷ます; int2 & fact8 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact8 -> hypothesis;
「このまちょまゆLv.84は冷ますしそれは差し通す」ということは偽である
fact9 -> int3: もし仮にこのまちょまゆLv.84は仕方無くないとすれば「それは冷ますしおまけに差し通す」ということは成り立たない;
$facts$ = fact1: そのぷいぷねLv.65が取っ付き難くないとするとこのまちょまゆLv.84は動き難いししかも区別し易い fact2: なんらかのモンスターは仕方無くないならば「冷ますしその上差し通す」ということは正しくない fact3: そのぷいぷねLv.65は仕方無くてまた区別し易い fact4: 仕方無くて更に区別し易くないというモンスターはない fact5: もしもそのぷいぷねLv.65が仕方無いならばこのまちょまゆLv.84は冷ます fact6: 「このまちょまゆLv.84は区別し易い」ということは事実である fact7: 「そのぷいぷねLv.65は区別し易い」ということは確かだ fact8: このまちょまゆLv.84は差し通す ; $hypothesis$ = 「このまちょまゆLv.84は冷ますしそれは差し通す」ということは偽である ; $proof$ = 
fact3 -> int1: そのぷいぷねLv.65は仕方無い; int1 & fact5 -> int2: このまちょまゆLv.84は冷ます; int2 & fact8 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact8 -> hypothesis; __DISPROVED__