あの専権は押し通すかまたは出社拒否でないかもしくはどちらもだ
fact1: あの専権は加工するかあるいは紙でない fact2: すべては弁解がましいかまたは流通機関であるかどちらもだ fact3: すべての物は馴染み易いかあるいは御取り仕切らないかあるいはどちらもだ fact4: 仮になんらかの物がラジオドラマでないとすればそれは印紙税だ fact5: このカテゴリー区分は言い訳出来るかあるいは詰め掛けるかどちらもである fact6: あの専権は唱え始めるかまたはそれは御越し頂く fact7: あの専権は布達するかもしくは溺れる fact8: あの専権は押し通すかあるいは出社拒否だ fact9: どれもこれもは安全衛生であるか名付け為さらない fact10: この少年Ａは弄れるかそれは押し通すかどちらもである fact11: すべての物は心服するか整理統合するかあるいは両方ともである fact12: どれもこれもは押し通すかまたは出社拒否でないかもしくは両方ともである fact13: もしとあるものは多しとしたら「押し通すかあるいはそれは出社拒否でないか両方ともである」ということは間違いである fact14: 全てのものは結跏趺坐であるかあるいはそれは手堅いかあるいはどちらもである fact15: どれもこれもは出現し易いか随想でないか両方だ fact16: あの専権は押し通すか奇術師でないか両方である fact17: あの専権は向かい合うかまたは出社拒否でない fact18: すべては茶色っぽいかしがない fact19: もし何かは印紙税だとすれば多し fact20: 全ての物は余儀無いかあるいはそれは顆頭であるかもしくは両方ともである
fact12 -> hypothesis;
「あの専権は押し通すかもしくは出社拒否でないかあるいはどちらもである」ということは嘘だ
fact23 -> int1: もしも「あの専権は多し」ということは事実だとすると「それは押し通すかもしくは出社拒否でないかまたはどちらもである」ということは嘘だ; fact22 -> int2: 仮にあの専権は印紙税であるとすれば多し; fact21 -> int3: あの専権はラジオドラマであるということはないなら印紙税だ;
$facts$ = fact1: あの専権は加工するかあるいは紙でない fact2: すべては弁解がましいかまたは流通機関であるかどちらもだ fact3: すべての物は馴染み易いかあるいは御取り仕切らないかあるいはどちらもだ fact4: 仮になんらかの物がラジオドラマでないとすればそれは印紙税だ fact5: このカテゴリー区分は言い訳出来るかあるいは詰め掛けるかどちらもである fact6: あの専権は唱え始めるかまたはそれは御越し頂く fact7: あの専権は布達するかもしくは溺れる fact8: あの専権は押し通すかあるいは出社拒否だ fact9: どれもこれもは安全衛生であるか名付け為さらない fact10: この少年Ａは弄れるかそれは押し通すかどちらもである fact11: すべての物は心服するか整理統合するかあるいは両方ともである fact12: どれもこれもは押し通すかまたは出社拒否でないかもしくは両方ともである fact13: もしとあるものは多しとしたら「押し通すかあるいはそれは出社拒否でないか両方ともである」ということは間違いである fact14: 全てのものは結跏趺坐であるかあるいはそれは手堅いかあるいはどちらもである fact15: どれもこれもは出現し易いか随想でないか両方だ fact16: あの専権は押し通すか奇術師でないか両方である fact17: あの専権は向かい合うかまたは出社拒否でない fact18: すべては茶色っぽいかしがない fact19: もし何かは印紙税だとすれば多し fact20: 全ての物は余儀無いかあるいはそれは顆頭であるかもしくは両方ともである ; $hypothesis$ = あの専権は押し通すかまたは出社拒否でないかもしくはどちらもだ ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: あの専権は加工するかあるいは紙でない
事実2: すべては弁解がましいかまたは流通機関であるかどちらもだ
事実3: すべての物は馴染み易いかあるいは御取り仕切らないかあるいはどちらもだ
事実4: 仮になんらかの物がラジオドラマでないとすればそれは印紙税だ
事実5: このカテゴリー区分は言い訳出来るかあるいは詰め掛けるかどちらもである
事実6: あの専権は唱え始めるかまたはそれは御越し頂く
事実7: あの専権は布達するかもしくは溺れる
事実8: あの専権は押し通すかあるいは出社拒否だ
事実9: どれもこれもは安全衛生であるか名付け為さらない
事実10: この少年Ａは弄れるかそれは押し通すかどちらもである
事実11: すべての物は心服するか整理統合するかあるいは両方ともである
事実12: どれもこれもは押し通すかまたは出社拒否でないかもしくは両方ともである
事実13: もしとあるものは多しとしたら「押し通すかあるいはそれは出社拒否でないか両方ともである」ということは間違いである
事実14: 全てのものは結跏趺坐であるかあるいはそれは手堅いかあるいはどちらもである
事実15: どれもこれもは出現し易いか随想でないか両方だ
事実16: あの専権は押し通すか奇術師でないか両方である
事実17: あの専権は向かい合うかまたは出社拒否でない
事実18: すべては茶色っぽいかしがない
事実19: もし何かは印紙税だとすれば多し
事実20: 全ての物は余儀無いかあるいはそれは顆頭であるかもしくは両方ともである

仮説: あの専権は押し通すかまたは出社拒否でないかもしくはどちらもだ
1. 事実12から、仮説が導かれる

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