あのもくもねLv.62は平べったいしすりゃ良い
fact1: もしそのもちゃもいLv.3が止み難いならあのもくもねLv.62は平べったい fact2: このぷのぷにLv.54が止み難いならばこのぷのぷにLv.54は味気ない fact3: そのもちゃもいLv.3は味気ない fact4: あのもくもねLv.62はすりゃ良い fact5: もしもそのもちゃもいLv.3がすりゃ良いとすればこのぷのぷにLv.54は止み難い fact6: 味気ないモンスターは平べったい fact7: そのぴちゃぴなLv.37は止み難い fact8: 仮にそのもちゃもいLv.3が味気ないならそのもちゃもいLv.3は止み難い
fact8 & fact3 -> int1: そのもちゃもいLv.3は止み難い; int1 & fact1 -> int2: あのもくもねLv.62は平べったい; int2 & fact4 -> hypothesis;
fact8 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
このぷのぷにLv.54は平べったい
fact10 -> int3: 仮にこのぷのぷにLv.54は味気ないとすると「このぷのぷにLv.54は平べったい」ということは正しい;
$facts$ = fact1: もしそのもちゃもいLv.3が止み難いならあのもくもねLv.62は平べったい fact2: このぷのぷにLv.54が止み難いならばこのぷのぷにLv.54は味気ない fact3: そのもちゃもいLv.3は味気ない fact4: あのもくもねLv.62はすりゃ良い fact5: もしもそのもちゃもいLv.3がすりゃ良いとすればこのぷのぷにLv.54は止み難い fact6: 味気ないモンスターは平べったい fact7: そのぴちゃぴなLv.37は止み難い fact8: 仮にそのもちゃもいLv.3が味気ないならそのもちゃもいLv.3は止み難い ; $hypothesis$ = あのもくもねLv.62は平べったいしすりゃ良い ; $proof$ = 
fact8 & fact3 -> int1: そのもちゃもいLv.3は止み難い; int1 & fact1 -> int2: あのもくもねLv.62は平べったい; int2 & fact4 -> hypothesis; __PROVED__
fact8 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __PROVED__