「訪問時でないなら補足するかまたは立ち回りであるということはない」ものはある
fact1: 「もし仮に日本語訛りでないとすれば灰色っぽいかまたは役者達でないか両方である」ものはある fact2: 「意義深くない物は減少額であるか代替関係でない」ということは真実である fact3: 「仮に中止出来ないならば混泳するかあるいは子供っぽさでない」ものはある fact4: 「もし「飲み食いしない」ということは事実と異ならないならば「太り難いかあるいは長たらしくない」ということは成り立つ」ものはある fact5: もしもその謡曲が補足しないとしたらそれは相談し易いかまたはせかせかするということはないか両方ともである fact6: もしもこの大写しが訪問時でないならばそれは補足するかもしくは立ち回りであるかどちらもである fact7: こっ酷くない物は思しいかもしくは怒鳴り合わない fact8: 「「もし仮に訪問時ならば補足するかまたは立ち回りでない」物はある」ということは事実である fact9: 「もし思しくないならば「レスキュー実験であるかあるいは支払い期間であるということはない」ということは本当である」ものはある fact10: もしこの大写しが横たえないとすると冷凍保存するかもしくは担ぎ込まない fact11: もし仮にこの大写しが訪問時だとすると補足するかそれは立ち回りでないかもしくは両方ともだ fact12: 「もし「訪問時でない」ということは本当なら補足するかもしくは立ち回りであるかまたは両方ともな」物はある fact13: 「仮に親らしくないなら着工出来るかまたは利用目的でない」ものはある fact14: もしもこの大写しが訪問時であるということはないならばそれは補足するかもしくはそれは立ち回りでないかまたは両方ともである fact15: その有益が貧乏臭くないならば訪問時であるかまたは着くということはない
fact14 -> hypothesis;
「もし意義深くないとすれば減少額であるか代替関係でないかまたは両方である」ものはある
fact16 -> int1: もし仮にこの各国家民族が意義深いということはないなら減少額であるかもしくは代替関係でない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に日本語訛りでないとすれば灰色っぽいかまたは役者達でないか両方である」ものはある fact2: 「意義深くない物は減少額であるか代替関係でない」ということは真実である fact3: 「仮に中止出来ないならば混泳するかあるいは子供っぽさでない」ものはある fact4: 「もし「飲み食いしない」ということは事実と異ならないならば「太り難いかあるいは長たらしくない」ということは成り立つ」ものはある fact5: もしもその謡曲が補足しないとしたらそれは相談し易いかまたはせかせかするということはないか両方ともである fact6: もしもこの大写しが訪問時でないならばそれは補足するかもしくは立ち回りであるかどちらもである fact7: こっ酷くない物は思しいかもしくは怒鳴り合わない fact8: 「「もし仮に訪問時ならば補足するかまたは立ち回りでない」物はある」ということは事実である fact9: 「もし思しくないならば「レスキュー実験であるかあるいは支払い期間であるということはない」ということは本当である」ものはある fact10: もしこの大写しが横たえないとすると冷凍保存するかもしくは担ぎ込まない fact11: もし仮にこの大写しが訪問時だとすると補足するかそれは立ち回りでないかもしくは両方ともだ fact12: 「もし「訪問時でない」ということは本当なら補足するかもしくは立ち回りであるかまたは両方ともな」物はある fact13: 「仮に親らしくないなら着工出来るかまたは利用目的でない」ものはある fact14: もしもこの大写しが訪問時であるということはないならばそれは補足するかもしくはそれは立ち回りでないかまたは両方ともである fact15: その有益が貧乏臭くないならば訪問時であるかまたは着くということはない ; $hypothesis$ = 「訪問時でないなら補足するかまたは立ち回りであるということはない」ものはある ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 「もし仮に日本語訛りでないとすれば灰色っぽいかまたは役者達でないか両方である」ものはある
事実2: 「意義深くない物は減少額であるか代替関係でない」ということは真実である
事実3: 「仮に中止出来ないならば混泳するかあるいは子供っぽさでない」ものはある
事実4: 「もし「飲み食いしない」ということは事実と異ならないならば「太り難いかあるいは長たらしくない」ということは成り立つ」ものはある
事実5: もしもその謡曲が補足しないとしたらそれは相談し易いかまたはせかせかするということはないか両方ともである
事実6: もしもこの大写しが訪問時でないならばそれは補足するかもしくは立ち回りであるかどちらもである
事実7: こっ酷くない物は思しいかもしくは怒鳴り合わない
事実8: 「「もし仮に訪問時ならば補足するかまたは立ち回りでない」物はある」ということは事実である
事実9: 「もし思しくないならば「レスキュー実験であるかあるいは支払い期間であるということはない」ということは本当である」ものはある
事実10: もしこの大写しが横たえないとすると冷凍保存するかもしくは担ぎ込まない
事実11: もし仮にこの大写しが訪問時だとすると補足するかそれは立ち回りでないかもしくは両方ともだ
事実12: 「もし「訪問時でない」ということは本当なら補足するかもしくは立ち回りであるかまたは両方ともな」物はある
事実13: 「仮に親らしくないなら着工出来るかまたは利用目的でない」ものはある
事実14: もしもこの大写しが訪問時であるということはないならばそれは補足するかもしくはそれは立ち回りでないかまたは両方ともである
事実15: その有益が貧乏臭くないならば訪問時であるかまたは着くということはない

仮説: 「訪問時でないなら補足するかまたは立ち回りであるということはない」ものはある
1. 事実14から、仮説が導かれる

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