「「エリヤでないが伸び易い」ものはある」ということは成り立たない
fact1: 「エリヤでない」ものはある fact2: このＰＩＳＡはエリヤでないけどそれは伸び易い fact3: このＰＩＳＡは伸び易い fact4: 「「伸び易い」ということは確かである」ものはある fact5: 何らかのものは算するし加えて結成だ
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 「エリヤでない」ものはある fact2: このＰＩＳＡはエリヤでないけどそれは伸び易い fact3: このＰＩＳＡは伸び易い fact4: 「「伸び易い」ということは確かである」ものはある fact5: 何らかのものは算するし加えて結成だ ; $hypothesis$ = 「「エリヤでないが伸び易い」ものはある」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「エリヤでない」ものはある
事実2: このＰＩＳＡはエリヤでないけどそれは伸び易い
事実3: このＰＩＳＡは伸び易い
事実4: 「「伸び易い」ということは確かである」ものはある
事実5: 何らかのものは算するし加えて結成だ

仮説: 「「エリヤでないが伸び易い」ものはある」ということは成り立たない
1. 事実2から、仮説が否定される

よって、仮説が否定されました。