あの追加額は日本人らしい
fact1: もし仮にこのポンズ醤油は自分らしくないなら「その柱間寸法は出会わないか日本人らしくないか両方である」ということは間違いである fact2: もしもあの追加額が考え深いとすれば借り易くない fact3: 借り易くないものは雇用機会でしかも生体組織である fact4: もし仮にこの研究計画が浮かれるとしたら噛み合わせるか方向付けないかあるいは両方だ fact5: もしもとある物が自分らしいということはないとしたらそれは出会わないかまたはそれは浮かれるかあるいはどちらもだ fact6: もし仮にこのポンズ醤油が出会うなら方向付けるかもしくはそれは噛み合わせらないかもしくはどちらもだ fact7: 仮にあの追加額が出会わないとすればあのポンズ醤油は噛み合わせる fact8: もし仮になにがしかの物が雇用機会だししかも生体組織であるとしたらそれは自分らしくない fact9: もしこの研究計画が浮かれるならあの追加額は日本人らしい fact10: もし仮にこのポンズ醤油が方向付ければこの研究計画は浮かれる fact11: もし仮にあの追加額が押し易いならば考え深い fact12: このポンズ醤油は出会う fact13: もしあるものは借り易くないとすれば「それは雇用機会だということはないし生体組織でない」ということは成り立たない fact14: もしも「あの追加額は雇用機会だということはないしそれに生体組織でない」ということは成り立たないとするとそれは自分らしいということはない fact15: もしこのポンズ醤油が噛み合わせらないとすればこの研究計画は浮かれる fact16: 仮にある物は出会わないかまたは浮かれるかあるいは両方だとするとそれは日本人らしくない fact17: もしも「このポンズ醤油は考え深いしかつ押し易い」ということは間違いであるとしたら借り易くない
fact6 & fact12 -> int1: 「このポンズ醤油は方向付けるかもしくはそれは噛み合わせらないかもしくはどちらもである」ということは事実である; int1 & fact10 & fact15 -> int2: この研究計画は浮かれる; int2 & fact9 -> hypothesis;
fact6 & fact12 -> int1: ({AA}{a} v ¬{AB}{a}); int1 & fact10 & fact15 -> int2: {B}{b}; int2 & fact9 -> hypothesis;
あの追加額は日本人らしくない
fact19 -> int3: もしもあの追加額が出会わないかまたはそれが浮かれるなら日本人らしくない; fact18 -> int4: 「もし仮にあの追加額が自分らしくないとしたらあの追加額は出会うということはないかあるいはそれは浮かれる」ということは事実である; fact22 -> int5: もしもあの追加額は借り易くないなら「雇用機会でなくて生体組織であるということはない」ということは偽だ;
$facts$ = fact1: もし仮にこのポンズ醤油は自分らしくないなら「その柱間寸法は出会わないか日本人らしくないか両方である」ということは間違いである fact2: もしもあの追加額が考え深いとすれば借り易くない fact3: 借り易くないものは雇用機会でしかも生体組織である fact4: もし仮にこの研究計画が浮かれるとしたら噛み合わせるか方向付けないかあるいは両方だ fact5: もしもとある物が自分らしいということはないとしたらそれは出会わないかまたはそれは浮かれるかあるいはどちらもだ fact6: もし仮にこのポンズ醤油が出会うなら方向付けるかもしくはそれは噛み合わせらないかもしくはどちらもだ fact7: 仮にあの追加額が出会わないとすればあのポンズ醤油は噛み合わせる fact8: もし仮になにがしかの物が雇用機会だししかも生体組織であるとしたらそれは自分らしくない fact9: もしこの研究計画が浮かれるならあの追加額は日本人らしい fact10: もし仮にこのポンズ醤油が方向付ければこの研究計画は浮かれる fact11: もし仮にあの追加額が押し易いならば考え深い fact12: このポンズ醤油は出会う fact13: もしあるものは借り易くないとすれば「それは雇用機会だということはないし生体組織でない」ということは成り立たない fact14: もしも「あの追加額は雇用機会だということはないしそれに生体組織でない」ということは成り立たないとするとそれは自分らしいということはない fact15: もしこのポンズ醤油が噛み合わせらないとすればこの研究計画は浮かれる fact16: 仮にある物は出会わないかまたは浮かれるかあるいは両方だとするとそれは日本人らしくない fact17: もしも「このポンズ醤油は考え深いしかつ押し易い」ということは間違いであるとしたら借り易くない ; $hypothesis$ = あの追加額は日本人らしい ; $proof$ = 
fact6 & fact12 -> int1: 「このポンズ醤油は方向付けるかもしくはそれは噛み合わせらないかもしくはどちらもである」ということは事実である; int1 & fact10 & fact15 -> int2: この研究計画は浮かれる; int2 & fact9 -> hypothesis; __PROVED__
事実1: もし仮にこのポンズ醤油は自分らしくないなら「その柱間寸法は出会わないか日本人らしくないか両方である」ということは間違いである
事実2: もしもあの追加額が考え深いとすれば借り易くない
事実3: 借り易くないものは雇用機会でしかも生体組織である
事実4: もし仮にこの研究計画が浮かれるとしたら噛み合わせるか方向付けないかあるいは両方だ
事実5: もしもとある物が自分らしいということはないとしたらそれは出会わないかまたはそれは浮かれるかあるいはどちらもだ
事実6: もし仮にこのポンズ醤油が出会うなら方向付けるかもしくはそれは噛み合わせらないかもしくはどちらもだ
事実7: 仮にあの追加額が出会わないとすればあのポンズ醤油は噛み合わせる
事実8: もし仮になにがしかの物が雇用機会だししかも生体組織であるとしたらそれは自分らしくない
事実9: もしこの研究計画が浮かれるならあの追加額は日本人らしい
事実10: もし仮にこのポンズ醤油が方向付ければこの研究計画は浮かれる
事実11: もし仮にあの追加額が押し易いならば考え深い
事実12: このポンズ醤油は出会う
事実13: もしあるものは借り易くないとすれば「それは雇用機会だということはないし生体組織でない」ということは成り立たない
事実14: もしも「あの追加額は雇用機会だということはないしそれに生体組織でない」ということは成り立たないとするとそれは自分らしいということはない
事実15: もしこのポンズ醤油が噛み合わせらないとすればこの研究計画は浮かれる
事実16: 仮にある物は出会わないかまたは浮かれるかあるいは両方だとするとそれは日本人らしくない
事実17: もしも「このポンズ醤油は考え深いしかつ押し易い」ということは間違いであるとしたら借り易くない

仮説: あの追加額は日本人らしい
1. 事実6と事実12から、推論1: "「このポンズ醤油は方向付けるかもしくはそれは噛み合わせらないかもしくはどちらもである」ということは事実である"が導かれる
2. 推論1と事実10と事実15から、推論2: "この研究計画は浮かれる"が導かれる
3. 推論2と事実9から、仮説が導かれる

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