このまのまのLv.37は頑張り為さらない
fact1: 仮にそのぽにょぽにゅLv.66が押し付けがましいならばこのまのまのLv.37は頑張り為さる fact2: とあるモンスターが見境無くなくて更にそれは嬉しくないならば「そのぽにょぽにゅLv.66は押し付けがましい」ということは嘘でない fact3: 仮に何らかのモンスターが押し付けがましくないが信心深いとするとこのまのまのLv.37は観光客らしい fact4: このまのまのLv.37は押し付けがましい fact5: あるモンスターは見境無くなくて加えて嬉しくない
fact5 & fact2 -> int1: そのぽにょぽにゅLv.66は押し付けがましい; int1 & fact1 -> hypothesis;
fact5 & fact2 -> int1: {C}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: 仮にそのぽにょぽにゅLv.66が押し付けがましいならばこのまのまのLv.37は頑張り為さる fact2: とあるモンスターが見境無くなくて更にそれは嬉しくないならば「そのぽにょぽにゅLv.66は押し付けがましい」ということは嘘でない fact3: 仮に何らかのモンスターが押し付けがましくないが信心深いとするとこのまのまのLv.37は観光客らしい fact4: このまのまのLv.37は押し付けがましい fact5: あるモンスターは見境無くなくて加えて嬉しくない ; $hypothesis$ = このまのまのLv.37は頑張り為さらない ; $proof$ = 
fact5 & fact2 -> int1: そのぽにょぽにゅLv.66は押し付けがましい; int1 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact2 -> int1: {C}{a}; int1 & fact1 -> hypothesis; __DISPROVED__