その第二次石油危機は拾い上げない
fact1: なんらかの物は性腺系だとしたら「微粉である」ということは成り立つ fact2: もし仮になにがしかのものが訴訟類型でないかそれは御命じに成るかまたはどちらもだとすればそれは拾い上げる fact3: 呆気ない物は付け易いということはないし拾い上げるということはない fact4: 仮に「なにがしかの物は収容する」ということは成り立つとすると呆気ない fact5: もしもその第二次石油危機が御命じに成るならそれは拾い上げる fact6: もし仮にこの勤めが呆気ないということはないとすればその第二次石油危機は拾い上げないししかもそれは付け易くない fact7: もしこの勤めが多しないならその第二次石油危機は収容するし更に待ち遠しい fact8: 仮になにかは御命じに成るなら拾い上げる fact9: この勤めは付け易くないかまたは訴訟類型であるかまたは両方である fact10: この勤めは付け易くない fact11: もしもこの勤めが付け易くないならばその第二次石油危機は訴訟類型でないかまたはそれは御命じに成る
fact11 & fact10 -> int1: その第二次石油危機は訴訟類型でないかもしくは御命じに成るかもしくは両方だ; fact2 -> int2: もし仮にその第二次石油危機が訴訟類型でないかそれは御命じに成るかあるいはどちらもであるならそれは拾い上げる; int1 & int2 -> hypothesis;
fact11 & fact10 -> int1: (¬{AA}{b} v {AB}{b}); fact2 -> int2: (¬{AA}{b} v {AB}{b}) -> {B}{b}; int1 & int2 -> hypothesis;
その第二次石油危機は拾い上げない
fact13 -> int3: もし仮にその第二次石油危機が呆気ないとすればそれは付け易くなくてしかも拾い上げない; fact12 -> int4: 「その第二次石油危機は収容する」ということは真実だとすれば「呆気ない」ということは成り立つ;
$facts$ = fact1: なんらかの物は性腺系だとしたら「微粉である」ということは成り立つ fact2: もし仮になにがしかのものが訴訟類型でないかそれは御命じに成るかまたはどちらもだとすればそれは拾い上げる fact3: 呆気ない物は付け易いということはないし拾い上げるということはない fact4: 仮に「なにがしかの物は収容する」ということは成り立つとすると呆気ない fact5: もしもその第二次石油危機が御命じに成るならそれは拾い上げる fact6: もし仮にこの勤めが呆気ないということはないとすればその第二次石油危機は拾い上げないししかもそれは付け易くない fact7: もしこの勤めが多しないならその第二次石油危機は収容するし更に待ち遠しい fact8: 仮になにかは御命じに成るなら拾い上げる fact9: この勤めは付け易くないかまたは訴訟類型であるかまたは両方である fact10: この勤めは付け易くない fact11: もしもこの勤めが付け易くないならばその第二次石油危機は訴訟類型でないかまたはそれは御命じに成る ; $hypothesis$ = その第二次石油危機は拾い上げない ; $proof$ = 
fact11 & fact10 -> int1: その第二次石油危機は訴訟類型でないかもしくは御命じに成るかもしくは両方だ; fact2 -> int2: もし仮にその第二次石油危機が訴訟類型でないかそれは御命じに成るかあるいはどちらもであるならそれは拾い上げる; int1 & int2 -> hypothesis; __DISPROVED__
事実1: なんらかの物は性腺系だとしたら「微粉である」ということは成り立つ
事実2: もし仮になにがしかのものが訴訟類型でないかそれは御命じに成るかまたはどちらもだとすればそれは拾い上げる
事実3: 呆気ない物は付け易いということはないし拾い上げるということはない
事実4: 仮に「なにがしかの物は収容する」ということは成り立つとすると呆気ない
事実5: もしもその第二次石油危機が御命じに成るならそれは拾い上げる
事実6: もし仮にこの勤めが呆気ないということはないとすればその第二次石油危機は拾い上げないししかもそれは付け易くない
事実7: もしこの勤めが多しないならその第二次石油危機は収容するし更に待ち遠しい
事実8: 仮になにかは御命じに成るなら拾い上げる
事実9: この勤めは付け易くないかまたは訴訟類型であるかまたは両方である
事実10: この勤めは付け易くない
事実11: もしもこの勤めが付け易くないならばその第二次石油危機は訴訟類型でないかまたはそれは御命じに成る

仮説: その第二次石油危機は拾い上げない
1. 事実11と事実10から、推論1: "その第二次石油危機は訴訟類型でないかもしくは御命じに成るかもしくは両方だ"が導かれる
2. 事実2から、推論2: "もし仮にその第二次石油危機が訴訟類型でないかそれは御命じに成るかあるいはどちらもであるならそれは拾い上げる"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。