その配列変数は巨樹でない
fact1: その配列変数は引っぱたかない fact2: もしもその配列変数は引っぱたかないなら「それは巨樹である」ということは事実だ
$facts$ = fact1: その配列変数は引っぱたかない fact2: もしもその配列変数は引っぱたかないなら「それは巨樹である」ということは事実だ ; $hypothesis$ = その配列変数は巨樹でない ; $proof$ = 
事実1: その配列変数は引っぱたかない
事実2: もしもその配列変数は引っぱたかないなら「それは巨樹である」ということは事実だ

仮説: その配列変数は巨樹でない