「「その全体運は打ち易くないかあるいはサイプレスであるかどちらもである」ということは確かである」ということは成り立たない
fact1: もし仮になにかは退色し易くないけど温度記号だとするとそれは余所余所しかない fact2: とある物は余所余所しいとしたら「打ち易くないかもしくはサイプレスであるかまたは両方ともだ」ということは成り立たない fact3: その短時間労働被保険者は吹き易くない fact4: 「仮に「この教育出版は発現し易くてさらに余所余所しい」ということは間違っているならその全体運は打ち易いということはない」ということは本当だ fact5: 「もしも「吹き易くない」物はあるとすると「そのＤＢは退色し易くない」ということは成り立つ」ということは成り立つ fact6: そのＤＢが御連絡するとしたら温度記号である fact7: 余所余所しい物は打ち易い fact8: もしも「「御連絡するということはなくて考え辛い」ということは成り立つということはない」物はあれば「そのＤＢは御連絡する」ということは成り立つ fact9: その全体運は打ち易い fact10: もし「その全体運は余所余所しい」ということは真実だとしたらそれは打ち易い fact11: 仮にとあるものは役員賞与なら「御連絡しないかまたは余所余所しいかあるいは両方だ」ということは事実と異なる fact12: その全体運は余所余所しい fact13: その全体運は余所余所しいとすれば「それは飛び移らないかもしくは町役であるかあるいは両方だ」ということは偽である fact14: 「「あの胚移植は御連絡しない一方で考え辛い」ということは間違いだ」ということは成り立つ
fact2 -> int1: 仮に「その全体運は余所余所しい」ということは事実だとすると「打ち易くないかあるいはサイプレスであるかどちらもである」ということは成り立たない; int1 & fact12 -> hypothesis;
もし仮にその飛球線後方は役員賞与であるなら「御連絡するということはないかそれは余所余所しいかどちらもである」ということは成り立つということはない
fact15 -> hypothesis;
$facts$ = fact1: もし仮になにかは退色し易くないけど温度記号だとするとそれは余所余所しかない fact2: とある物は余所余所しいとしたら「打ち易くないかもしくはサイプレスであるかまたは両方ともだ」ということは成り立たない fact3: その短時間労働被保険者は吹き易くない fact4: 「仮に「この教育出版は発現し易くてさらに余所余所しい」ということは間違っているならその全体運は打ち易いということはない」ということは本当だ fact5: 「もしも「吹き易くない」物はあるとすると「そのＤＢは退色し易くない」ということは成り立つ」ということは成り立つ fact6: そのＤＢが御連絡するとしたら温度記号である fact7: 余所余所しい物は打ち易い fact8: もしも「「御連絡するということはなくて考え辛い」ということは成り立つということはない」物はあれば「そのＤＢは御連絡する」ということは成り立つ fact9: その全体運は打ち易い fact10: もし「その全体運は余所余所しい」ということは真実だとしたらそれは打ち易い fact11: 仮にとあるものは役員賞与なら「御連絡しないかまたは余所余所しいかあるいは両方だ」ということは事実と異なる fact12: その全体運は余所余所しい fact13: その全体運は余所余所しいとすれば「それは飛び移らないかもしくは町役であるかあるいは両方だ」ということは偽である fact14: 「「あの胚移植は御連絡しない一方で考え辛い」ということは間違いだ」ということは成り立つ ; $hypothesis$ = 「「その全体運は打ち易くないかあるいはサイプレスであるかどちらもである」ということは確かである」ということは成り立たない ; $proof$ = 
fact2 -> int1: 仮に「その全体運は余所余所しい」ということは事実だとすると「打ち易くないかあるいはサイプレスであるかどちらもである」ということは成り立たない; int1 & fact12 -> hypothesis; __PROVED__
事実1: もし仮になにかは退色し易くないけど温度記号だとするとそれは余所余所しかない
事実2: とある物は余所余所しいとしたら「打ち易くないかもしくはサイプレスであるかまたは両方ともだ」ということは成り立たない
事実3: その短時間労働被保険者は吹き易くない
事実4: 「仮に「この教育出版は発現し易くてさらに余所余所しい」ということは間違っているならその全体運は打ち易いということはない」ということは本当だ
事実5: 「もしも「吹き易くない」物はあるとすると「そのＤＢは退色し易くない」ということは成り立つ」ということは成り立つ
事実6: そのＤＢが御連絡するとしたら温度記号である
事実7: 余所余所しい物は打ち易い
事実8: もしも「「御連絡するということはなくて考え辛い」ということは成り立つということはない」物はあれば「そのＤＢは御連絡する」ということは成り立つ
事実9: その全体運は打ち易い
事実10: もし「その全体運は余所余所しい」ということは真実だとしたらそれは打ち易い
事実11: 仮にとあるものは役員賞与なら「御連絡しないかまたは余所余所しいかあるいは両方だ」ということは事実と異なる
事実12: その全体運は余所余所しい
事実13: その全体運は余所余所しいとすれば「それは飛び移らないかもしくは町役であるかあるいは両方だ」ということは偽である
事実14: 「「あの胚移植は御連絡しない一方で考え辛い」ということは間違いだ」ということは成り立つ

仮説: 「「その全体運は打ち易くないかあるいはサイプレスであるかどちらもである」ということは確かである」ということは成り立たない
1. 事実2から、推論1: "仮に「その全体運は余所余所しい」ということは事実だとすると「打ち易くないかあるいはサイプレスであるかどちらもである」ということは成り立たない"が導かれる
2. 推論1と事実12から、仮説が導かれる

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