その再輸出比率は垂れない一方で測量する
fact1: あの割り当て等は著しい fact2: もしあの住民意識は廟所だとすると「測量する」ということは成り立つ fact3: 仮に何かは著しいとしたら「垂れないが測量する」ということは間違っている fact4: もし「その再輸出比率は男の子らしい」ということは真実だとするとそれは測量する fact5: もしも「あの割り当て等は著しい」ということは成り立てばその再輸出比率は男の子らしい fact6: あの新造船は熱中するしとろい fact7: もし仮になにかは垂れるとすると「それは男の子らしくないしそれに著しかない」ということは成り立たない fact8: 仮にあの割り当て等が厚かましいとすれば都道府県議会議員だということはない fact9: もしもあの新造船がとろいとしたらそれは断り難くないしそれは厚かましくない fact10: もし仮にある物が都道府県議会議員でないとすれば垂れるしまた測量する fact11: その再輸出比率は測量する fact12: 仮にその再輸出比率が男の子らしいとすればそれは垂れるということはないが測量する fact13: 「仮にあの新造船が断り難くないし厚かましくないとしたらあの野球選手は男の子らしい」ということは事実である
fact5 & fact1 -> int1: その再輸出比率は男の子らしい; int1 & fact12 -> hypothesis;
「その再輸出比率は垂れないけれど測量する」ということは真実でない
fact14 -> int2: もしその再輸出比率は著しいとしたら「垂れないししかも測量する」ということは事実と異なる; fact15 -> int3: あの新造船はとろい; fact16 & int3 -> int4: あの新造船は断り難くなくて厚かましくない; fact17 & int4 -> int5: あの野球選手は男の子らしい; int5 -> int6: 「男の子らしい」物はある;
$facts$ = fact1: あの割り当て等は著しい fact2: もしあの住民意識は廟所だとすると「測量する」ということは成り立つ fact3: 仮に何かは著しいとしたら「垂れないが測量する」ということは間違っている fact4: もし「その再輸出比率は男の子らしい」ということは真実だとするとそれは測量する fact5: もしも「あの割り当て等は著しい」ということは成り立てばその再輸出比率は男の子らしい fact6: あの新造船は熱中するしとろい fact7: もし仮になにかは垂れるとすると「それは男の子らしくないしそれに著しかない」ということは成り立たない fact8: 仮にあの割り当て等が厚かましいとすれば都道府県議会議員だということはない fact9: もしもあの新造船がとろいとしたらそれは断り難くないしそれは厚かましくない fact10: もし仮にある物が都道府県議会議員でないとすれば垂れるしまた測量する fact11: その再輸出比率は測量する fact12: 仮にその再輸出比率が男の子らしいとすればそれは垂れるということはないが測量する fact13: 「仮にあの新造船が断り難くないし厚かましくないとしたらあの野球選手は男の子らしい」ということは事実である ; $hypothesis$ = その再輸出比率は垂れない一方で測量する ; $proof$ = 
fact5 & fact1 -> int1: その再輸出比率は男の子らしい; int1 & fact12 -> hypothesis; __PROVED__
事実1: あの割り当て等は著しい
事実2: もしあの住民意識は廟所だとすると「測量する」ということは成り立つ
事実3: 仮に何かは著しいとしたら「垂れないが測量する」ということは間違っている
事実4: もし「その再輸出比率は男の子らしい」ということは真実だとするとそれは測量する
事実5: もしも「あの割り当て等は著しい」ということは成り立てばその再輸出比率は男の子らしい
事実6: あの新造船は熱中するしとろい
事実7: もし仮になにかは垂れるとすると「それは男の子らしくないしそれに著しかない」ということは成り立たない
事実8: 仮にあの割り当て等が厚かましいとすれば都道府県議会議員だということはない
事実9: もしもあの新造船がとろいとしたらそれは断り難くないしそれは厚かましくない
事実10: もし仮にある物が都道府県議会議員でないとすれば垂れるしまた測量する
事実11: その再輸出比率は測量する
事実12: 仮にその再輸出比率が男の子らしいとすればそれは垂れるということはないが測量する
事実13: 「仮にあの新造船が断り難くないし厚かましくないとしたらあの野球選手は男の子らしい」ということは事実である

仮説: その再輸出比率は垂れない一方で測量する
1. 事実5と事実1から、推論1: "その再輸出比率は男の子らしい"が導かれる
2. 推論1と事実12から、仮説が導かれる

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