そのぽくぽわLv.26は著しくないしさらに彷徨かない
fact1: 「か細い」モンスターはいる fact2: 「そのぽくぽわLv.26は納得出来るけどそれは程遠いということはない」ということは誤っている fact3: もし仮に「あるモンスターはか細い」ということは真実であるとすると「そのぽくぽわLv.26は著しくなくて彷徨かない」ということは事実と異なる fact4: 仮に「忍耐強い」モンスターはいれば「そのぽくぽわLv.26は真っ黒くないししかも疾しない」ということは本当でない fact5: 「彷徨く」モンスターはいる
fact1 -> int1: 「か細い」モンスターはいる; int1 & fact3 -> hypothesis;
fact1 -> int1: (Ex): {A}x; int1 & fact3 -> hypothesis;
$facts$ = fact1: 「か細い」モンスターはいる fact2: 「そのぽくぽわLv.26は納得出来るけどそれは程遠いということはない」ということは誤っている fact3: もし仮に「あるモンスターはか細い」ということは真実であるとすると「そのぽくぽわLv.26は著しくなくて彷徨かない」ということは事実と異なる fact4: 仮に「忍耐強い」モンスターはいれば「そのぽくぽわLv.26は真っ黒くないししかも疾しない」ということは本当でない fact5: 「彷徨く」モンスターはいる ; $hypothesis$ = そのぽくぽわLv.26は著しくないしさらに彷徨かない ; $proof$ = 
fact1 -> int1: 「か細い」モンスターはいる; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: (Ex): {A}x; int1 & fact3 -> hypothesis; __DISPROVED__