あの税込みは大人びる
fact1: 仮に「あるものは自然乾燥しないがしかしクリップビューアだ」ということは偽だとしたら「それは売り難い」ということは事実だ fact2: なにかは大人びるということはないかまたはそれは甲高いかもしくは両方ともであるとするとそれは大人びない fact3: もしあるものは招き易いとすれば「空恐ろしい」ということは成り立つ fact4: 自然乾燥しなくてそれはクリップビューアだというものはない fact5: もし仮にその人生雑誌が売り難いかまたは甲高くないとしたらこの学級編制基準は招き易い fact6: あの個人的努力は売り難いかあるいは上り易いかあるいはどちらもだ fact7: もし仮にこの学級編制基準が空恐ろしいならあの税込みは大人びる fact8: この学級編制基準は自然乾燥するかあるいは空恐ろしいかあるいは両方ともである fact9: もし仮に何かは維持し得れば管理す fact10: もしもある物が自然乾燥するとしたらそれは売り難い
fact4 -> int1: 「その人生雑誌は自然乾燥しないがしかしクリップビューアである」ということは誤っている; fact1 -> int2: 「その人生雑誌は自然乾燥しないけれどクリップビューアだ」ということは成り立たないとしたら「売り難い」ということは成り立つ; int1 & int2 -> int3: その人生雑誌は売り難い; int3 -> int4: その人生雑誌は売り難いかもしくはそれは甲高いということはないかまたは両方ともだ; int4 & fact5 -> int5: この学級編制基準は招き易い; fact3 -> int6: もしこの学級編制基準が招き易いとすればそれは空恐ろしい; int5 & int6 -> int7: この学級編制基準は空恐ろしい; int7 & fact7 -> hypothesis;
あの税込みは大人びない
fact11 -> int8: 「仮にあの税込みが大人びないかまたは甲高いかまたはどちらもだとするとあの税込みは大人びない」ということは成り立つ;
$facts$ = fact1: 仮に「あるものは自然乾燥しないがしかしクリップビューアだ」ということは偽だとしたら「それは売り難い」ということは事実だ fact2: なにかは大人びるということはないかまたはそれは甲高いかもしくは両方ともであるとするとそれは大人びない fact3: もしあるものは招き易いとすれば「空恐ろしい」ということは成り立つ fact4: 自然乾燥しなくてそれはクリップビューアだというものはない fact5: もし仮にその人生雑誌が売り難いかまたは甲高くないとしたらこの学級編制基準は招き易い fact6: あの個人的努力は売り難いかあるいは上り易いかあるいはどちらもだ fact7: もし仮にこの学級編制基準が空恐ろしいならあの税込みは大人びる fact8: この学級編制基準は自然乾燥するかあるいは空恐ろしいかあるいは両方ともである fact9: もし仮に何かは維持し得れば管理す fact10: もしもある物が自然乾燥するとしたらそれは売り難い ; $hypothesis$ = あの税込みは大人びる ; $proof$ = 
fact4 -> int1: 「その人生雑誌は自然乾燥しないがしかしクリップビューアである」ということは誤っている; fact1 -> int2: 「その人生雑誌は自然乾燥しないけれどクリップビューアだ」ということは成り立たないとしたら「売り難い」ということは成り立つ; int1 & int2 -> int3: その人生雑誌は売り難い; int3 -> int4: その人生雑誌は売り難いかもしくはそれは甲高いということはないかまたは両方ともだ; int4 & fact5 -> int5: この学級編制基準は招き易い; fact3 -> int6: もしこの学級編制基準が招き易いとすればそれは空恐ろしい; int5 & int6 -> int7: この学級編制基準は空恐ろしい; int7 & fact7 -> hypothesis; __PROVED__
事実1: 仮に「あるものは自然乾燥しないがしかしクリップビューアだ」ということは偽だとしたら「それは売り難い」ということは事実だ
事実2: なにかは大人びるということはないかまたはそれは甲高いかもしくは両方ともであるとするとそれは大人びない
事実3: もしあるものは招き易いとすれば「空恐ろしい」ということは成り立つ
事実4: 自然乾燥しなくてそれはクリップビューアだというものはない
事実5: もし仮にその人生雑誌が売り難いかまたは甲高くないとしたらこの学級編制基準は招き易い
事実6: あの個人的努力は売り難いかあるいは上り易いかあるいはどちらもだ
事実7: もし仮にこの学級編制基準が空恐ろしいならあの税込みは大人びる
事実8: この学級編制基準は自然乾燥するかあるいは空恐ろしいかあるいは両方ともである
事実9: もし仮に何かは維持し得れば管理す
事実10: もしもある物が自然乾燥するとしたらそれは売り難い

仮説: あの税込みは大人びる
1. 事実4から、推論1: "「その人生雑誌は自然乾燥しないがしかしクリップビューアである」ということは誤っている"が導かれる
2. 事実1から、推論2: "「その人生雑誌は自然乾燥しないけれどクリップビューアだ」ということは成り立たないとしたら「売り難い」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "その人生雑誌は売り難い"が導かれる
4. 推論3から、推論4: "その人生雑誌は売り難いかもしくはそれは甲高いということはないかまたは両方ともだ"が導かれる
5. 推論4と事実5から、推論5: "この学級編制基準は招き易い"が導かれる
6. 事実3から、推論6: "もしこの学級編制基準が招き易いとすればそれは空恐ろしい"が導かれる
7. 推論5と推論6から、推論7: "この学級編制基準は空恐ろしい"が導かれる
8. 推論7と事実7から、仮説が導かれる

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