あの機関銃は明かりでない
fact1: この大柳生はアメリカっぽいししかも弛い fact2: この大柳生は押し付けがましいししかも着手し始める fact3: もしもこの大柳生は弛いし更に着手し始めるとすれば「あの鱈子は誇りっぽい」ということは成り立たない fact4: 仮にあの鱈子が誇りっぽくないとするとその中空は追い込むが信頼しない fact5: 付け易いかもしくは粗いものは明かりでない fact6: もし仮にその中空が追い込むけれどそれが信頼しないとするとあの機関銃は付け易い
fact1 -> int1: この大柳生は弛い; fact2 -> int2: この大柳生は着手し始める; int1 & int2 -> int3: この大柳生は弛くてさらにそれは着手し始める; int3 & fact3 -> int4: あの鱈子は誇りっぽくない; int4 & fact4 -> int5: その中空は追い込む一方でそれは信頼しない; int5 & fact6 -> int6: 「あの機関銃は付け易い」ということは真実だ; int6 -> int7: あの機関銃は付け易いかもしくは粗いかもしくは両方ともである; fact5 -> int8: 仮にあの機関銃は付け易いかもしくは粗いか両方ともであるとしたらそれは明かりでない; int7 & int8 -> hypothesis;
$facts$ = fact1: この大柳生はアメリカっぽいししかも弛い fact2: この大柳生は押し付けがましいししかも着手し始める fact3: もしもこの大柳生は弛いし更に着手し始めるとすれば「あの鱈子は誇りっぽい」ということは成り立たない fact4: 仮にあの鱈子が誇りっぽくないとするとその中空は追い込むが信頼しない fact5: 付け易いかもしくは粗いものは明かりでない fact6: もし仮にその中空が追い込むけれどそれが信頼しないとするとあの機関銃は付け易い ; $hypothesis$ = あの機関銃は明かりでない ; $proof$ = 
fact1 -> int1: この大柳生は弛い; fact2 -> int2: この大柳生は着手し始める; int1 & int2 -> int3: この大柳生は弛くてさらにそれは着手し始める; int3 & fact3 -> int4: あの鱈子は誇りっぽくない; int4 & fact4 -> int5: その中空は追い込む一方でそれは信頼しない; int5 & fact6 -> int6: 「あの機関銃は付け易い」ということは真実だ; int6 -> int7: あの機関銃は付け易いかもしくは粗いかもしくは両方ともである; fact5 -> int8: 仮にあの機関銃は付け易いかもしくは粗いか両方ともであるとしたらそれは明かりでない; int7 & int8 -> hypothesis; __PROVED__
事実1: この大柳生はアメリカっぽいししかも弛い
事実2: この大柳生は押し付けがましいししかも着手し始める
事実3: もしもこの大柳生は弛いし更に着手し始めるとすれば「あの鱈子は誇りっぽい」ということは成り立たない
事実4: 仮にあの鱈子が誇りっぽくないとするとその中空は追い込むが信頼しない
事実5: 付け易いかもしくは粗いものは明かりでない
事実6: もし仮にその中空が追い込むけれどそれが信頼しないとするとあの機関銃は付け易い

仮説: あの機関銃は明かりでない
1. 事実1から、推論1: "この大柳生は弛い"が導かれる
2. 事実2から、推論2: "この大柳生は着手し始める"が導かれる
3. 推論1と推論2から、推論3: "この大柳生は弛くてさらにそれは着手し始める"が導かれる
4. 推論3と事実3から、推論4: "あの鱈子は誇りっぽくない"が導かれる
5. 推論4と事実4から、推論5: "その中空は追い込む一方でそれは信頼しない"が導かれる
6. 推論5と事実6から、推論6: "「あの機関銃は付け易い」ということは真実だ"が導かれる
7. 推論6から、推論7: "あの機関銃は付け易いかもしくは粗いかもしくは両方ともである"が導かれる
8. 事実5から、推論8: "仮にあの機関銃は付け易いかもしくは粗いか両方ともであるとしたらそれは明かりでない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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