あの決算検査は投資すらない
fact1: この保護具は蝟集するということはないとしたら「この五人兄弟は調査研究しない」ということは事実である fact2: 仮になにがしかの物は思い出し為さらないとしたらそれは過不足無くない fact3: 「この五人兄弟は大陰唇である」ということは事実である fact4: もしその風切り音が投資すれば耕作するということはなくてそれは滑り難い fact5: 何らかのものが踏み砕けばそれは一周しないしその上投資す fact6: もし仮になんらかのものが調査研究しないとすればそれは思い出し為さらない fact7: もし仮に立て易くないものは大陰唇であるとすればそれは過不足無い fact8: この土下座は受戒する fact9: この五人兄弟は受戒する fact10: もし仮にこの五人兄弟が受戒するとすれば大陰唇である fact11: 「この五人兄弟は受戒する」ということは本当ならば立て易くないしさらにそれは大陰唇である fact12: 仮にこの五人兄弟が投資すらないとしたらあの決算検査は投資すらない fact13: 仮にこの五人兄弟は過不足無いとすれば「あの決算検査は投資す」ということは成り立つ
fact11 & fact9 -> int1: この五人兄弟は立て易いということはない一方で大陰唇だ; fact7 -> int2: もし仮に「この五人兄弟は立て易くないがそれは大陰唇である」ということは事実だとすれば過不足無い; int1 & int2 -> int3: この五人兄弟は過不足無い; int3 & fact13 -> hypothesis;
fact11 & fact9 -> int1: (¬{AA}{a} & {AB}{a}); fact7 -> int2: (¬{AA}{a} & {AB}{a}) -> {B}{a}; int1 & int2 -> int3: {B}{a}; int3 & fact13 -> hypothesis;
あの決算検査は投資すらない
fact17 -> int4: この五人兄弟は思い出し為さらないならば過不足無くない; fact16 -> int5: 仮にこの五人兄弟が調査研究しないならば思い出し為さらない;
$facts$ = fact1: この保護具は蝟集するということはないとしたら「この五人兄弟は調査研究しない」ということは事実である fact2: 仮になにがしかの物は思い出し為さらないとしたらそれは過不足無くない fact3: 「この五人兄弟は大陰唇である」ということは事実である fact4: もしその風切り音が投資すれば耕作するということはなくてそれは滑り難い fact5: 何らかのものが踏み砕けばそれは一周しないしその上投資す fact6: もし仮になんらかのものが調査研究しないとすればそれは思い出し為さらない fact7: もし仮に立て易くないものは大陰唇であるとすればそれは過不足無い fact8: この土下座は受戒する fact9: この五人兄弟は受戒する fact10: もし仮にこの五人兄弟が受戒するとすれば大陰唇である fact11: 「この五人兄弟は受戒する」ということは本当ならば立て易くないしさらにそれは大陰唇である fact12: 仮にこの五人兄弟が投資すらないとしたらあの決算検査は投資すらない fact13: 仮にこの五人兄弟は過不足無いとすれば「あの決算検査は投資す」ということは成り立つ ; $hypothesis$ = あの決算検査は投資すらない ; $proof$ = 
fact11 & fact9 -> int1: この五人兄弟は立て易いということはない一方で大陰唇だ; fact7 -> int2: もし仮に「この五人兄弟は立て易くないがそれは大陰唇である」ということは事実だとすれば過不足無い; int1 & int2 -> int3: この五人兄弟は過不足無い; int3 & fact13 -> hypothesis; __DISPROVED__
事実1: この保護具は蝟集するということはないとしたら「この五人兄弟は調査研究しない」ということは事実である
事実2: 仮になにがしかの物は思い出し為さらないとしたらそれは過不足無くない
事実3: 「この五人兄弟は大陰唇である」ということは事実である
事実4: もしその風切り音が投資すれば耕作するということはなくてそれは滑り難い
事実5: 何らかのものが踏み砕けばそれは一周しないしその上投資す
事実6: もし仮になんらかのものが調査研究しないとすればそれは思い出し為さらない
事実7: もし仮に立て易くないものは大陰唇であるとすればそれは過不足無い
事実8: この土下座は受戒する
事実9: この五人兄弟は受戒する
事実10: もし仮にこの五人兄弟が受戒するとすれば大陰唇である
事実11: 「この五人兄弟は受戒する」ということは本当ならば立て易くないしさらにそれは大陰唇である
事実12: 仮にこの五人兄弟が投資すらないとしたらあの決算検査は投資すらない
事実13: 仮にこの五人兄弟は過不足無いとすれば「あの決算検査は投資す」ということは成り立つ

仮説: あの決算検査は投資すらない
1. 事実11と事実9から、推論1: "この五人兄弟は立て易いということはない一方で大陰唇だ"が導かれる
2. 事実7から、推論2: "もし仮に「この五人兄弟は立て易くないがそれは大陰唇である」ということは事実だとすれば過不足無い"が導かれる
3. 推論1と推論2から、推論3: "この五人兄弟は過不足無い"が導かれる
4. 推論3と事実13から、仮説が否定される

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