「この当事国は高みでない」ということは本当である
fact1: この当事国は若い fact2: 仮にこの当事国が経理担当者だとしたらあの解約はマボ判決だ fact3: マボ判決は辛抱強くないか若いということはないかあるいは両方ともだ fact4: 「中国観でない」ものはある fact5: 辛抱強いということはないかあるいは若いということはないか両方ともである物は若くない fact6: その窩孔は三段階評価でないけど血気である fact7: あの解約はまあるい fact8: もしもなにがしかの物が血気ならそれは経理担当者である fact9: もしなにがしかの物は青しとすると「それは起こし難くなくてそれに踏ん付けない」ということは間違っている fact10: もし仮にあの解約が若いならこの当事国は若い fact11: もし仮にあの解約が若くないならばあの予防戦争は高みでないかまあるいかあるいはどちらもである fact12: もしあの解約が若いならばこの当事国は若いけれど高みであるということはない fact13: 仮にこの当事国が公開出来ないとすれば血気だがしかし三段階評価だということはない fact14: もしあの解約がまあるいとしたらそれは若い fact15: もしもあの解約が若くないならこの当事国は高みであるしさらにまあるい fact16: もし仮に「中国観でない」ものがあるとするとその窩孔は青し fact17: もしも何かは経理担当者であるとすれば「それが辛抱強いということはないしその上それはマボ判決でない」ということは真実でない fact18: もしあるものが高みでないかまたはそれがまあるいならそれはまあるい
fact14 & fact7 -> int1: あの解約は若い; int1 & fact12 -> int2: この当事国は若い一方で高みでない; int2 -> hypothesis;
「この当事国は高みである」ということは間違っていない
fact19 -> int3: もし仮にあの解約は経理担当者なら「それは辛抱強いということはなくてマボ判決でない」ということは誤っている; fact21 -> int4: とある物は三段階評価でないけれど血気だ;
$facts$ = fact1: この当事国は若い fact2: 仮にこの当事国が経理担当者だとしたらあの解約はマボ判決だ fact3: マボ判決は辛抱強くないか若いということはないかあるいは両方ともだ fact4: 「中国観でない」ものはある fact5: 辛抱強いということはないかあるいは若いということはないか両方ともである物は若くない fact6: その窩孔は三段階評価でないけど血気である fact7: あの解約はまあるい fact8: もしもなにがしかの物が血気ならそれは経理担当者である fact9: もしなにがしかの物は青しとすると「それは起こし難くなくてそれに踏ん付けない」ということは間違っている fact10: もし仮にあの解約が若いならこの当事国は若い fact11: もし仮にあの解約が若くないならばあの予防戦争は高みでないかまあるいかあるいはどちらもである fact12: もしあの解約が若いならばこの当事国は若いけれど高みであるということはない fact13: 仮にこの当事国が公開出来ないとすれば血気だがしかし三段階評価だということはない fact14: もしあの解約がまあるいとしたらそれは若い fact15: もしもあの解約が若くないならこの当事国は高みであるしさらにまあるい fact16: もし仮に「中国観でない」ものがあるとするとその窩孔は青し fact17: もしも何かは経理担当者であるとすれば「それが辛抱強いということはないしその上それはマボ判決でない」ということは真実でない fact18: もしあるものが高みでないかまたはそれがまあるいならそれはまあるい ; $hypothesis$ = 「この当事国は高みでない」ということは本当である ; $proof$ = 
fact14 & fact7 -> int1: あの解約は若い; int1 & fact12 -> int2: この当事国は若い一方で高みでない; int2 -> hypothesis; __PROVED__
事実1: この当事国は若い
事実2: 仮にこの当事国が経理担当者だとしたらあの解約はマボ判決だ
事実3: マボ判決は辛抱強くないか若いということはないかあるいは両方ともだ
事実4: 「中国観でない」ものはある
事実5: 辛抱強いということはないかあるいは若いということはないか両方ともである物は若くない
事実6: その窩孔は三段階評価でないけど血気である
事実7: あの解約はまあるい
事実8: もしもなにがしかの物が血気ならそれは経理担当者である
事実9: もしなにがしかの物は青しとすると「それは起こし難くなくてそれに踏ん付けない」ということは間違っている
事実10: もし仮にあの解約が若いならこの当事国は若い
事実11: もし仮にあの解約が若くないならばあの予防戦争は高みでないかまあるいかあるいはどちらもである
事実12: もしあの解約が若いならばこの当事国は若いけれど高みであるということはない
事実13: 仮にこの当事国が公開出来ないとすれば血気だがしかし三段階評価だということはない
事実14: もしあの解約がまあるいとしたらそれは若い
事実15: もしもあの解約が若くないならこの当事国は高みであるしさらにまあるい
事実16: もし仮に「中国観でない」ものがあるとするとその窩孔は青し
事実17: もしも何かは経理担当者であるとすれば「それが辛抱強いということはないしその上それはマボ判決でない」ということは真実でない
事実18: もしあるものが高みでないかまたはそれがまあるいならそれはまあるい

仮説: 「この当事国は高みでない」ということは本当である
1. 事実14と事実7から、推論1: "あの解約は若い"が導かれる
2. 推論1と事実12から、推論2: "この当事国は若い一方で高みでない"が導かれる
3. 推論2から、仮説が導かれる

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