その合名・合資会社は勤務する
fact1: あの庭先取り引きが偉いとしたらその合名・合資会社は勤務する fact2: もしもその合名・合資会社は偉くないとすると「勤務するしさらにそれは解禁する」ということは成り立たない fact3: その乳白色は現実化でないかトランザクションであるかまたはどちらもだ fact4: もし仮に「とあるものは勤務するしかつそれは解禁する」ということは誤っているとすればそれは勤務しない fact5: もし仮に偉いものが解禁しないならば勤務しない fact6: もしその合名・合資会社は偉いとすると「あの庭先取り引きは勤務する」ということは本当だ fact7: この共益は比較し難いとすると「「あの庭先取り引きは大勝しないかあるいはそれは陰気臭くない」ということは成り立つ」ということは成り立つということはない fact8: あの庭先取り引きは勤務する fact9: もしもあの庭先取り引きが撫ぜるということはないならその合名・合資会社は偉いが解禁しない fact10: もし仮に「なにがしかのものは大勝しないか陰気臭くないかまたは両方ともである」ということは成り立つということはないならば撫ぜない fact11: あの庭先取り引きは偉い fact12: 仮に「あるものは比較し難くないしさらにそれはトランザクションでない」ということは嘘ならば「比較し難い」ということは成り立つ fact13: 仮にとあるものは現実化でないかもしくはトランザクションであるかまたは両方ともだとしたらトランザクションだ
fact1 & fact11 -> hypothesis;
fact1 & fact11 -> hypothesis;
その合名・合資会社は勤務しない
fact14 -> int1: 仮に「その合名・合資会社は勤務するしそれは解禁する」ということは間違っているなら勤務しない;
$facts$ = fact1: あの庭先取り引きが偉いとしたらその合名・合資会社は勤務する fact2: もしもその合名・合資会社は偉くないとすると「勤務するしさらにそれは解禁する」ということは成り立たない fact3: その乳白色は現実化でないかトランザクションであるかまたはどちらもだ fact4: もし仮に「とあるものは勤務するしかつそれは解禁する」ということは誤っているとすればそれは勤務しない fact5: もし仮に偉いものが解禁しないならば勤務しない fact6: もしその合名・合資会社は偉いとすると「あの庭先取り引きは勤務する」ということは本当だ fact7: この共益は比較し難いとすると「「あの庭先取り引きは大勝しないかあるいはそれは陰気臭くない」ということは成り立つ」ということは成り立つということはない fact8: あの庭先取り引きは勤務する fact9: もしもあの庭先取り引きが撫ぜるということはないならその合名・合資会社は偉いが解禁しない fact10: もし仮に「なにがしかのものは大勝しないか陰気臭くないかまたは両方ともである」ということは成り立つということはないならば撫ぜない fact11: あの庭先取り引きは偉い fact12: 仮に「あるものは比較し難くないしさらにそれはトランザクションでない」ということは嘘ならば「比較し難い」ということは成り立つ fact13: 仮にとあるものは現実化でないかもしくはトランザクションであるかまたは両方ともだとしたらトランザクションだ ; $hypothesis$ = その合名・合資会社は勤務する ; $proof$ = 
fact1 & fact11 -> hypothesis; __PROVED__
事実1: あの庭先取り引きが偉いとしたらその合名・合資会社は勤務する
事実2: もしもその合名・合資会社は偉くないとすると「勤務するしさらにそれは解禁する」ということは成り立たない
事実3: その乳白色は現実化でないかトランザクションであるかまたはどちらもだ
事実4: もし仮に「とあるものは勤務するしかつそれは解禁する」ということは誤っているとすればそれは勤務しない
事実5: もし仮に偉いものが解禁しないならば勤務しない
事実6: もしその合名・合資会社は偉いとすると「あの庭先取り引きは勤務する」ということは本当だ
事実7: この共益は比較し難いとすると「「あの庭先取り引きは大勝しないかあるいはそれは陰気臭くない」ということは成り立つ」ということは成り立つということはない
事実8: あの庭先取り引きは勤務する
事実9: もしもあの庭先取り引きが撫ぜるということはないならその合名・合資会社は偉いが解禁しない
事実10: もし仮に「なにがしかのものは大勝しないか陰気臭くないかまたは両方ともである」ということは成り立つということはないならば撫ぜない
事実11: あの庭先取り引きは偉い
事実12: 仮に「あるものは比較し難くないしさらにそれはトランザクションでない」ということは嘘ならば「比較し難い」ということは成り立つ
事実13: 仮にとあるものは現実化でないかもしくはトランザクションであるかまたは両方ともだとしたらトランザクションだ

仮説: その合名・合資会社は勤務する
1. 事実1と事実11から、仮説が導かれる

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