このグリーンベレー隊員は奥床しい
fact1: もしもなんらかのものが書き為さるとしたら収縮する fact2: もし仮にその顔面が下肢でないが得易いとしたらこの諸要素は得易くない fact3: 何らかの物は得易いけれど類似商標であるということはない fact4: もしなにかは下肢でないならば「それは喜ばす」ということは確かである fact5: 「奥床しくなくてまた喜ばさない」ものはある fact6: 何らかのものは喜ばすということはないが奥床しい fact7: この諸要素は喜ばす fact8: 「類似商標でない」物はある fact9: 仮にこの諸要素が下肢だということはないなら喜ばす fact10: 「もし仮に「この諸要素は喜ばすかあるいはそれは対日請求権だ」ということは間違いならばあの諸要素は手放せる」ということは確かである fact11: もし仮にあるものが対日請求権でないとすると下肢でないし加えて得易い fact12: 「なんらかのものは喜ばすかまたは対日請求権であるかもしくはどちらもである」ということは真実でないとすると手放せる fact13: もし仮にこの諸要素がＰ｜Ｑだとするとこのグリーンベレー隊員は奥床しい fact14: もしも得易くない物が類似商標ならばあの諸要素は下肢でない fact15: この諸要素が類似商標でないが奥床しいとするとこのグリーンベレー隊員は奥床しくない fact16: もしもとあるものは下肢でないならば「喜ばしないか対日請求権である」ということは間違いだ fact17: もしも「とあるものは類似商標であるしまた得易い」ということは成り立たないとすると「奥床しくない」ということは正しい fact18: 「とある物は得易いということはなくてしかも類似商標でない」ということは確かである fact19: 何かは手放せるならＰ｜Ｑである fact20: 合掌は懐こい fact21: もしも「得易くなくておまけに類似商標でない」物があるとすればこの諸要素は下肢であるということはない fact22: 仮に「とある物は喜ばしないかあるいは対日請求権であるかあるいは両方だ」ということは間違いであるなら手放せる
fact18 & fact21 -> int1: この諸要素は下肢であるということはない; fact16 -> int2: 仮にこの諸要素は下肢でないとしたら「喜ばしないかそれは対日請求権である」ということは成り立たない; int1 & int2 -> int3: 「この諸要素は喜ばしないかもしくは対日請求権であるかどちらもだ」ということは嘘である; fact22 -> int4: もし「この諸要素は喜ばすということはないかあるいはそれは対日請求権だ」ということは成り立たないならばそれは手放せる; int3 & int4 -> int5: 「この諸要素は手放せる」ということは間違っていない; fact19 -> int6: もし仮にこの諸要素が手放せるとすればＰ｜Ｑだ; int5 & int6 -> int7: この諸要素はＰ｜Ｑである; int7 & fact13 -> hypothesis;
このグリーンベレー隊員は奥床しくない
fact24 -> int8: もし仮にその顔面が対日請求権でないとすると下肢でなくて得易い;
$facts$ = fact1: もしもなんらかのものが書き為さるとしたら収縮する fact2: もし仮にその顔面が下肢でないが得易いとしたらこの諸要素は得易くない fact3: 何らかの物は得易いけれど類似商標であるということはない fact4: もしなにかは下肢でないならば「それは喜ばす」ということは確かである fact5: 「奥床しくなくてまた喜ばさない」ものはある fact6: 何らかのものは喜ばすということはないが奥床しい fact7: この諸要素は喜ばす fact8: 「類似商標でない」物はある fact9: 仮にこの諸要素が下肢だということはないなら喜ばす fact10: 「もし仮に「この諸要素は喜ばすかあるいはそれは対日請求権だ」ということは間違いならばあの諸要素は手放せる」ということは確かである fact11: もし仮にあるものが対日請求権でないとすると下肢でないし加えて得易い fact12: 「なんらかのものは喜ばすかまたは対日請求権であるかもしくはどちらもである」ということは真実でないとすると手放せる fact13: もし仮にこの諸要素がＰ｜Ｑだとするとこのグリーンベレー隊員は奥床しい fact14: もしも得易くない物が類似商標ならばあの諸要素は下肢でない fact15: この諸要素が類似商標でないが奥床しいとするとこのグリーンベレー隊員は奥床しくない fact16: もしもとあるものは下肢でないならば「喜ばしないか対日請求権である」ということは間違いだ fact17: もしも「とあるものは類似商標であるしまた得易い」ということは成り立たないとすると「奥床しくない」ということは正しい fact18: 「とある物は得易いということはなくてしかも類似商標でない」ということは確かである fact19: 何かは手放せるならＰ｜Ｑである fact20: 合掌は懐こい fact21: もしも「得易くなくておまけに類似商標でない」物があるとすればこの諸要素は下肢であるということはない fact22: 仮に「とある物は喜ばしないかあるいは対日請求権であるかあるいは両方だ」ということは間違いであるなら手放せる ; $hypothesis$ = このグリーンベレー隊員は奥床しい ; $proof$ = 
fact18 & fact21 -> int1: この諸要素は下肢であるということはない; fact16 -> int2: 仮にこの諸要素は下肢でないとしたら「喜ばしないかそれは対日請求権である」ということは成り立たない; int1 & int2 -> int3: 「この諸要素は喜ばしないかもしくは対日請求権であるかどちらもだ」ということは嘘である; fact22 -> int4: もし「この諸要素は喜ばすということはないかあるいはそれは対日請求権だ」ということは成り立たないならばそれは手放せる; int3 & int4 -> int5: 「この諸要素は手放せる」ということは間違っていない; fact19 -> int6: もし仮にこの諸要素が手放せるとすればＰ｜Ｑだ; int5 & int6 -> int7: この諸要素はＰ｜Ｑである; int7 & fact13 -> hypothesis; __PROVED__
事実1: もしもなんらかのものが書き為さるとしたら収縮する
事実2: もし仮にその顔面が下肢でないが得易いとしたらこの諸要素は得易くない
事実3: 何らかの物は得易いけれど類似商標であるということはない
事実4: もしなにかは下肢でないならば「それは喜ばす」ということは確かである
事実5: 「奥床しくなくてまた喜ばさない」ものはある
事実6: 何らかのものは喜ばすということはないが奥床しい
事実7: この諸要素は喜ばす
事実8: 「類似商標でない」物はある
事実9: 仮にこの諸要素が下肢だということはないなら喜ばす
事実10: 「もし仮に「この諸要素は喜ばすかあるいはそれは対日請求権だ」ということは間違いならばあの諸要素は手放せる」ということは確かである
事実11: もし仮にあるものが対日請求権でないとすると下肢でないし加えて得易い
事実12: 「なんらかのものは喜ばすかまたは対日請求権であるかもしくはどちらもである」ということは真実でないとすると手放せる
事実13: もし仮にこの諸要素がＰ｜Ｑだとするとこのグリーンベレー隊員は奥床しい
事実14: もしも得易くない物が類似商標ならばあの諸要素は下肢でない
事実15: この諸要素が類似商標でないが奥床しいとするとこのグリーンベレー隊員は奥床しくない
事実16: もしもとあるものは下肢でないならば「喜ばしないか対日請求権である」ということは間違いだ
事実17: もしも「とあるものは類似商標であるしまた得易い」ということは成り立たないとすると「奥床しくない」ということは正しい
事実18: 「とある物は得易いということはなくてしかも類似商標でない」ということは確かである
事実19: 何かは手放せるならＰ｜Ｑである
事実20: 合掌は懐こい
事実21: もしも「得易くなくておまけに類似商標でない」物があるとすればこの諸要素は下肢であるということはない
事実22: 仮に「とある物は喜ばしないかあるいは対日請求権であるかあるいは両方だ」ということは間違いであるなら手放せる

仮説: このグリーンベレー隊員は奥床しい
1. 事実18と事実21から、推論1: "この諸要素は下肢であるということはない"が導かれる
2. 事実16から、推論2: "仮にこの諸要素は下肢でないとしたら「喜ばしないかそれは対日請求権である」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「この諸要素は喜ばしないかもしくは対日請求権であるかどちらもだ」ということは嘘である"が導かれる
4. 事実22から、推論4: "もし「この諸要素は喜ばすということはないかあるいはそれは対日請求権だ」ということは成り立たないならばそれは手放せる"が導かれる
5. 推論3と推論4から、推論5: "「この諸要素は手放せる」ということは間違っていない"が導かれる
6. 事実19から、推論6: "もし仮にこの諸要素が手放せるとすればＰ｜Ｑだ"が導かれる
7. 推論5と推論6から、推論7: "この諸要素はＰ｜Ｑである"が導かれる
8. 推論7と事実13から、仮説が導かれる

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