「そのぽわぽよLv.52は噛み合うけど錆びない」ということは成り立たない
fact1: 「そのぽわぽよLv.52は錆びない」ということは事実だ fact2: 仮に「忙しい」モンスターがいるとするとそのぽわぽよLv.52は噛み合う一方でそれは錆びない fact3: 忙しいモンスターはいる fact4: 「つべたい」モンスターはいる fact5: 何らかのモンスターは錆びる fact6: 「噛み合う」モンスターはいる fact7: もし仮に「忙しい」モンスターがいるとすればそのぽわぽよLv.52は錆びない
fact3 -> int1: 忙しいモンスターはいる; int1 & fact2 -> hypothesis;
fact3 -> int1: (Ex): {A}x; int1 & fact2 -> hypothesis;
$facts$ = fact1: 「そのぽわぽよLv.52は錆びない」ということは事実だ fact2: 仮に「忙しい」モンスターがいるとするとそのぽわぽよLv.52は噛み合う一方でそれは錆びない fact3: 忙しいモンスターはいる fact4: 「つべたい」モンスターはいる fact5: 何らかのモンスターは錆びる fact6: 「噛み合う」モンスターはいる fact7: もし仮に「忙しい」モンスターがいるとすればそのぽわぽよLv.52は錆びない ; $hypothesis$ = 「そのぽわぽよLv.52は噛み合うけど錆びない」ということは成り立たない ; $proof$ = 
fact3 -> int1: 忙しいモンスターはいる; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: (Ex): {A}x; int1 & fact2 -> hypothesis; __DISPROVED__