このバーは散らかる
fact1: もし仮にこのバーが表彰するし結うならその農学校は表彰しない fact2: このバーは買い与える fact3: あるものは表彰するということはないとすると「それは散らかるし更に買い与える」ということは確かである fact4: このバーは買い与えるし加えて散らかる
fact4 -> hypothesis;
fact4 -> hypothesis;
その農学校は散らかる
fact5 -> int1: もしその農学校が表彰しないとすると散らかるししかもそれは買い与える;
$facts$ = fact1: もし仮にこのバーが表彰するし結うならその農学校は表彰しない fact2: このバーは買い与える fact3: あるものは表彰するということはないとすると「それは散らかるし更に買い与える」ということは確かである fact4: このバーは買い与えるし加えて散らかる ; $hypothesis$ = このバーは散らかる ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし仮にこのバーが表彰するし結うならその農学校は表彰しない
事実2: このバーは買い与える
事実3: あるものは表彰するということはないとすると「それは散らかるし更に買い与える」ということは確かである
事実4: このバーは買い与えるし加えて散らかる

仮説: このバーは散らかる
1. 事実4から、仮説が導かれる

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