「あの三歳年下は学年団でない」ということは真実だ
fact1: もしもその九十門が勝ち取らないしその上それが兼用するということはないとすればあの三歳年下は動かし難い fact2: もし仮に気恥ずかしいということはない物が光軸上だとするとそれは勝ち易くない fact3: もし「その製品群Ａはトーク番組であるということはない」ということは成り立つとすれば「その九十門は気恥ずかしくないけど光軸上だ」ということは本当である fact4: もし仮になんらかの物が引っ掻くということはないとすると激しいししかもそれは学年団だということはない fact5: あの三歳年下は結婚後でない fact6: 仮になにかは動かし難いとすると「引っ掻かないし激しくない」ということは間違っている fact7: 「この先端行政は追い落とすしかつ下大静脈だ」ということは誤っている fact8: もし仮に「「「追い落とさないし下大静脈だ」ということは成り立つ」ということは事実と異なる」ものがあるとしたらあの三歳年下は引っ掻かない fact9: 「「この先端行政は追い落とすということはないけれどそれは下大静脈である」ということは間違っている」ということは事実だ fact10: もしもその製品群Ａが微笑するとしたら親水であるか痙攣しないかもしくはどちらもである fact11: 勝ち易くない物は勝ち取らなくてしかも兼用しない fact12: あの山東医院は激しくない fact13: もし仮にその製品群Ａが再定義するなら微笑する fact14: その製品群Ａが親水であるかもしくはそれは痙攣するということはないかもしくは両方ともであるとすればそれはトーク番組でない
fact9 -> int1: 「「追い落とさなくて加えて下大静脈である」ということは成り立たない」ものはある; int1 & fact8 -> int2: 「あの三歳年下は引っ掻かない」ということは確かだ; fact4 -> int3: 仮にあの三歳年下が引っ掻かないならば激しいしそれは学年団でない; int2 & int3 -> int4: あの三歳年下は激しいけど学年団でない; int4 -> hypothesis;
あの三歳年下は学年団だ
fact19 -> int5: 「仮にあの三歳年下は動かし難いならば「あの三歳年下は引っ掻かなくて加えてそれは激しくない」ということは成り立たない」ということは成り立つ; fact21 -> int6: 仮にその九十門が勝ち易くないとしたらそれは勝ち取らなくて更に兼用しない; fact16 -> int7: 仮にその九十門は気恥ずかしいということはないけれど光軸上ならば勝ち易くない;
$facts$ = fact1: もしもその九十門が勝ち取らないしその上それが兼用するということはないとすればあの三歳年下は動かし難い fact2: もし仮に気恥ずかしいということはない物が光軸上だとするとそれは勝ち易くない fact3: もし「その製品群Ａはトーク番組であるということはない」ということは成り立つとすれば「その九十門は気恥ずかしくないけど光軸上だ」ということは本当である fact4: もし仮になんらかの物が引っ掻くということはないとすると激しいししかもそれは学年団だということはない fact5: あの三歳年下は結婚後でない fact6: 仮になにかは動かし難いとすると「引っ掻かないし激しくない」ということは間違っている fact7: 「この先端行政は追い落とすしかつ下大静脈だ」ということは誤っている fact8: もし仮に「「「追い落とさないし下大静脈だ」ということは成り立つ」ということは事実と異なる」ものがあるとしたらあの三歳年下は引っ掻かない fact9: 「「この先端行政は追い落とすということはないけれどそれは下大静脈である」ということは間違っている」ということは事実だ fact10: もしもその製品群Ａが微笑するとしたら親水であるか痙攣しないかもしくはどちらもである fact11: 勝ち易くない物は勝ち取らなくてしかも兼用しない fact12: あの山東医院は激しくない fact13: もし仮にその製品群Ａが再定義するなら微笑する fact14: その製品群Ａが親水であるかもしくはそれは痙攣するということはないかもしくは両方ともであるとすればそれはトーク番組でない ; $hypothesis$ = 「あの三歳年下は学年団でない」ということは真実だ ; $proof$ = 
fact9 -> int1: 「「追い落とさなくて加えて下大静脈である」ということは成り立たない」ものはある; int1 & fact8 -> int2: 「あの三歳年下は引っ掻かない」ということは確かだ; fact4 -> int3: 仮にあの三歳年下が引っ掻かないならば激しいしそれは学年団でない; int2 & int3 -> int4: あの三歳年下は激しいけど学年団でない; int4 -> hypothesis; __PROVED__
事実1: もしもその九十門が勝ち取らないしその上それが兼用するということはないとすればあの三歳年下は動かし難い
事実2: もし仮に気恥ずかしいということはない物が光軸上だとするとそれは勝ち易くない
事実3: もし「その製品群Ａはトーク番組であるということはない」ということは成り立つとすれば「その九十門は気恥ずかしくないけど光軸上だ」ということは本当である
事実4: もし仮になんらかの物が引っ掻くということはないとすると激しいししかもそれは学年団だということはない
事実5: あの三歳年下は結婚後でない
事実6: 仮になにかは動かし難いとすると「引っ掻かないし激しくない」ということは間違っている
事実7: 「この先端行政は追い落とすしかつ下大静脈だ」ということは誤っている
事実8: もし仮に「「「追い落とさないし下大静脈だ」ということは成り立つ」ということは事実と異なる」ものがあるとしたらあの三歳年下は引っ掻かない
事実9: 「「この先端行政は追い落とすということはないけれどそれは下大静脈である」ということは間違っている」ということは事実だ
事実10: もしもその製品群Ａが微笑するとしたら親水であるか痙攣しないかもしくはどちらもである
事実11: 勝ち易くない物は勝ち取らなくてしかも兼用しない
事実12: あの山東医院は激しくない
事実13: もし仮にその製品群Ａが再定義するなら微笑する
事実14: その製品群Ａが親水であるかもしくはそれは痙攣するということはないかもしくは両方ともであるとすればそれはトーク番組でない

仮説: 「あの三歳年下は学年団でない」ということは真実だ
1. 事実9から、推論1: "「「追い落とさなくて加えて下大静脈である」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実8から、推論2: "「あの三歳年下は引っ掻かない」ということは確かだ"が導かれる
3. 事実4から、推論3: "仮にあの三歳年下が引っ掻かないならば激しいしそれは学年団でない"が導かれる
4. 推論2と推論3から、推論4: "あの三歳年下は激しいけど学年団でない"が導かれる
5. 推論4から、仮説が導かれる

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