このみちゅみにょLv.69は涙ぐましくない
fact1: このぷにぷなLv.63は苦しくない fact2: 仮にあるモンスターが意味深いとすればこのみちゅみにょLv.69はだだっ広いしまた意味深い fact3: 意味深いモンスターはいる fact4: 来難くてだだっ広いモンスターは苦しくない fact5: このぷにぷなLv.63が若いとすればこのみちゅみにょLv.69は涙ぐましい fact6: 仮にあるモンスターが苦しくないなら若い fact7: このみちゅみにょLv.69は来難いしまた難い fact8: もし仮にこのみちゅみにょLv.69が若いとすればあのみにゃみにょLv.42は若くない
fact6 -> int1: もしもこのぷにぷなLv.63が苦しくないとすればこのぷにぷなLv.63は若い; int1 & fact1 -> int2: このぷにぷなLv.63は若い; int2 & fact5 -> hypothesis;
fact6 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact1 -> int2: {C}{aa}; int2 & fact5 -> hypothesis;
あのみにゃみにょLv.42は若くない
fact11 -> int3: もしもこのみちゅみにょLv.69が来難くてかつだだっ広いとすればこのみちゅみにょLv.69は苦しいということはない; fact9 -> int4: このみちゅみにょLv.69は来難い; fact12 & fact10 -> int5: このみちゅみにょLv.69はだだっ広いししかも意味深い; int5 -> int6: このみちゅみにょLv.69はだだっ広い; int4 & int6 -> int7: このみちゅみにょLv.69は来難くてまただだっ広い; int3 & int7 -> int8: このみちゅみにょLv.69は苦しくない;
$facts$ = fact1: このぷにぷなLv.63は苦しくない fact2: 仮にあるモンスターが意味深いとすればこのみちゅみにょLv.69はだだっ広いしまた意味深い fact3: 意味深いモンスターはいる fact4: 来難くてだだっ広いモンスターは苦しくない fact5: このぷにぷなLv.63が若いとすればこのみちゅみにょLv.69は涙ぐましい fact6: 仮にあるモンスターが苦しくないなら若い fact7: このみちゅみにょLv.69は来難いしまた難い fact8: もし仮にこのみちゅみにょLv.69が若いとすればあのみにゃみにょLv.42は若くない ; $hypothesis$ = このみちゅみにょLv.69は涙ぐましくない ; $proof$ = 
fact6 -> int1: もしもこのぷにぷなLv.63が苦しくないとすればこのぷにぷなLv.63は若い; int1 & fact1 -> int2: このぷにぷなLv.63は若い; int2 & fact5 -> hypothesis; __DISPROVED__
fact6 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact1 -> int2: {C}{aa}; int2 & fact5 -> hypothesis; __DISPROVED__