あの中間達は浅し
fact1: あの中間達は唱える fact2: この機能材料は徒らっぽいならば「あの中間達は唱えないか育ち難いかあるいは両方だ」ということは成り立たない fact3: もし仮にこの機能材料は徒らっぽいとしたら「あの中間達は唱える」ということは成り立つ fact4: 仮に「何らかのものは損金算入方式でないけれど浅し」ということは成り立たないとしたらそれは浅しない fact5: 仮に「あの中間達は唱えるか育ち難い」ということは成り立たないとするとそれは浅し fact6: もし仮に「何らかの物は唱えないかまたは育ち難い」ということは成り立つということはないとするとそれは浅し fact7: 仮にこの機能材料は唱えるとすると「あの中間達は育ち難くないかまたは徒らっぽいかもしくはどちらもである」ということは事実でない fact8: 「この機能材料は徒らっぽい」ということは成り立つ
fact2 & fact8 -> int1: 「あの中間達は唱えないかあるいは育ち難いかまたは両方ともだ」ということは嘘である; fact6 -> int2: もし「あの中間達は唱えないかそれは育ち難いかもしくは両方だ」ということは嘘であるとすると浅し; int1 & int2 -> hypothesis;
あの中間達は浅しない
fact9 -> int3: 仮に「あの中間達は損金算入方式でないが浅し」ということは嘘であるならそれは浅しない;
$facts$ = fact1: あの中間達は唱える fact2: この機能材料は徒らっぽいならば「あの中間達は唱えないか育ち難いかあるいは両方だ」ということは成り立たない fact3: もし仮にこの機能材料は徒らっぽいとしたら「あの中間達は唱える」ということは成り立つ fact4: 仮に「何らかのものは損金算入方式でないけれど浅し」ということは成り立たないとしたらそれは浅しない fact5: 仮に「あの中間達は唱えるか育ち難い」ということは成り立たないとするとそれは浅し fact6: もし仮に「何らかの物は唱えないかまたは育ち難い」ということは成り立つということはないとするとそれは浅し fact7: 仮にこの機能材料は唱えるとすると「あの中間達は育ち難くないかまたは徒らっぽいかもしくはどちらもである」ということは事実でない fact8: 「この機能材料は徒らっぽい」ということは成り立つ ; $hypothesis$ = あの中間達は浅し ; $proof$ = 
fact2 & fact8 -> int1: 「あの中間達は唱えないかあるいは育ち難いかまたは両方ともだ」ということは嘘である; fact6 -> int2: もし「あの中間達は唱えないかそれは育ち難いかもしくは両方だ」ということは嘘であるとすると浅し; int1 & int2 -> hypothesis; __PROVED__
事実1: あの中間達は唱える
事実2: この機能材料は徒らっぽいならば「あの中間達は唱えないか育ち難いかあるいは両方だ」ということは成り立たない
事実3: もし仮にこの機能材料は徒らっぽいとしたら「あの中間達は唱える」ということは成り立つ
事実4: 仮に「何らかのものは損金算入方式でないけれど浅し」ということは成り立たないとしたらそれは浅しない
事実5: 仮に「あの中間達は唱えるか育ち難い」ということは成り立たないとするとそれは浅し
事実6: もし仮に「何らかの物は唱えないかまたは育ち難い」ということは成り立つということはないとするとそれは浅し
事実7: 仮にこの機能材料は唱えるとすると「あの中間達は育ち難くないかまたは徒らっぽいかもしくはどちらもである」ということは事実でない
事実8: 「この機能材料は徒らっぽい」ということは成り立つ

仮説: あの中間達は浅し
1. 事実2と事実8から、推論1: "「あの中間達は唱えないかあるいは育ち難いかまたは両方ともだ」ということは嘘である"が導かれる
2. 事実6から、推論2: "もし「あの中間達は唱えないかそれは育ち難いかもしくは両方だ」ということは嘘であるとすると浅し"が導かれる
3. 推論1と推論2から、仮説が導かれる

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