その業績向上はうする
fact1: 「その業績向上は周である」ということは確かだ fact2: その加盟交渉はうする fact3: その業績向上は蓄積され易い fact4: 仮に「「何らかの物は狭いしおまけにそれは注ぎ入れる」ということは成り立つ」ということは間違いなら狭くない fact5: 「その郵便局はうする」ということは真実である fact6: その業績向上は煎ずる fact7: もしもとある物は狭くないとすると「それは眩くないしまだるっこしい」ということは本当でない fact8: その骨組みはうする fact9: この米屋はうする fact10: その業績向上はうする fact11: その骨新生はうする fact12: その業績向上は怪し fact13: もし仮にとあるものは出生後でないならば「狭いし注ぎ入れる」ということは成り立たない
fact10 -> hypothesis;
その業績向上はうしない
fact14 -> int1: もしもその経済的要素は狭くないとすると「それは眩くないけれどまだるっこしい」ということは成り立たない; fact16 -> int2: 「その経済的要素が狭いしその上それは注ぎ入れる」ということは誤っているとするとそれは狭くない; fact15 -> int3: その経済的要素は出生後でないとしたら「それは狭いしまた注ぎ入れる」ということは偽である;
$facts$ = fact1: 「その業績向上は周である」ということは確かだ fact2: その加盟交渉はうする fact3: その業績向上は蓄積され易い fact4: 仮に「「何らかの物は狭いしおまけにそれは注ぎ入れる」ということは成り立つ」ということは間違いなら狭くない fact5: 「その郵便局はうする」ということは真実である fact6: その業績向上は煎ずる fact7: もしもとある物は狭くないとすると「それは眩くないしまだるっこしい」ということは本当でない fact8: その骨組みはうする fact9: この米屋はうする fact10: その業績向上はうする fact11: その骨新生はうする fact12: その業績向上は怪し fact13: もし仮にとあるものは出生後でないならば「狭いし注ぎ入れる」ということは成り立たない ; $hypothesis$ = その業績向上はうする ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 「その業績向上は周である」ということは確かだ
事実2: その加盟交渉はうする
事実3: その業績向上は蓄積され易い
事実4: 仮に「「何らかの物は狭いしおまけにそれは注ぎ入れる」ということは成り立つ」ということは間違いなら狭くない
事実5: 「その郵便局はうする」ということは真実である
事実6: その業績向上は煎ずる
事実7: もしもとある物は狭くないとすると「それは眩くないしまだるっこしい」ということは本当でない
事実8: その骨組みはうする
事実9: この米屋はうする
事実10: その業績向上はうする
事実11: その骨新生はうする
事実12: その業績向上は怪し
事実13: もし仮にとあるものは出生後でないならば「狭いし注ぎ入れる」ということは成り立たない

仮説: その業績向上はうする
1. 事実10から、仮説が導かれる

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