そのイエツィラーは明かり樹でないがそつ無い
fact1: この四年以内は折れ易い fact2: もし「折れ易い」物があるとすればこの四年以内はそつ無い fact3: 別業はある fact4: もし仮に「折れ易い」ものがあるとすればそのイエツィラーは明かり樹でないがそつ無い fact5: 「そのイエツィラーはそつ無い」ということは確かである
fact1 -> int1: 「「折れ易い」物はある」ということは確かである; int1 & fact4 -> hypothesis;
$facts$ = fact1: この四年以内は折れ易い fact2: もし「折れ易い」物があるとすればこの四年以内はそつ無い fact3: 別業はある fact4: もし仮に「折れ易い」ものがあるとすればそのイエツィラーは明かり樹でないがそつ無い fact5: 「そのイエツィラーはそつ無い」ということは確かである ; $hypothesis$ = そのイエツィラーは明かり樹でないがそつ無い ; $proof$ = 
fact1 -> int1: 「「折れ易い」物はある」ということは確かである; int1 & fact4 -> hypothesis; __PROVED__
事実1: この四年以内は折れ易い
事実2: もし「折れ易い」物があるとすればこの四年以内はそつ無い
事実3: 別業はある
事実4: もし仮に「折れ易い」ものがあるとすればそのイエツィラーは明かり樹でないがそつ無い
事実5: 「そのイエツィラーはそつ無い」ということは確かである

仮説: そのイエツィラーは明かり樹でないがそつ無い
1. 事実1から、推論1: "「「折れ易い」物はある」ということは確かである"が導かれる
2. 推論1と事実4から、仮説が導かれる

よって、仮説が証明されました。