「この階段等は嘶くしそれは各王朝である」ということは偽である
fact1: もし仮に「この階段等は暗過ぎるかあるいは有用物質でないかもしくはどちらもだ」ということは偽であるとすればあのサムは移ろい易いということはない fact2: あのサムは有用物質だ fact3: 「この階段等は有用物質であるか各王朝だということはないかもしくは両方だ」ということは誤りだ fact4: 「あのサムは暗過ぎるかあるいはそれは有用物質でない」ということは成り立たない fact5: もし仮にこの共起が御持ち下さらないとするとあのサムは自然治癒力でなくて移ろい易くない fact6: 仮にとある物は各王朝でないとしたら「それは移ろい易いし有用物質である」ということは正しくない fact7: 仮に「あのサムは各王朝であるかあるいは暗過ぎない」ということは誤りであるならば「この階段等は嘶かない」ということは本当だ fact8: 「あのサムは暗過ぎるかあるいはそれは有用物質でない」ということは事実と異なるとするとこの階段等は移ろい易くない fact9: 砕け易くないものは釣り込まないか大量発生しないかまたは両方ともである fact10: もし仮に「何かは大量発生しない」ということは確かであるとすればそれは御持ち下さらないし更に過剰反応しない fact11: もしあの課税山林所得金額は釣り込まないなら「それは砕け易いということはないけど大量発生する」ということは成り立たない fact12: もしも「あのサムは嘶くかまたはそれは移ろい易くないかあるいはどちらもである」ということは成り立たないとすればこの階段等は有用物質であるということはない fact13: もし仮に「あのサムは暗過ぎるかあるいは有用物質であるか両方ともである」ということは事実と異なればこの階段等は移ろい易くない fact14: その嬌名は旨い fact15: 「この階段等は可笑しくて移ろい易い」ということは偽である fact16: もしその嬌名は旨いならば「それは砕け易い一方で熱っぽくない」ということは成り立たない fact17: もしもなんらかの物は暗過ぎるということはないとしたら「移ろい易くて更にそれは有用物質である」ということは間違いだ fact18: もしとあるものは移ろい易いということはないとしたら「それは嘶くしその上各王朝だ」ということは成り立たない fact19: もし仮にあの課税山林所得金額が釣り込まないかまたはそれが大量発生するということはないかあるいはどちらもであるとしたらこの共起は大量発生しない fact20: もし仮に「その嬌名は砕け易い一方で熱っぽくない」ということは嘘ならあの課税山林所得金額は砕け易くない fact21: 「あの課税山林所得金額は砕け易くないがしかし大量発生する」ということは確かでないならそれは過剰反応しない fact22: もしもこの共起は自然治癒力だとすると「この階段等は移ろい易くないがしかし嘶く」ということは成り立つということはない
fact8 & fact4 -> int1: この階段等は移ろい易くない; fact18 -> int2: もし仮にこの階段等は移ろい易くないなら「嘶くしさらにそれは各王朝だ」ということは間違っている; int1 & int2 -> hypothesis;
fact8 & fact4 -> int1: ¬{B}{b}; fact18 -> int2: ¬{B}{b} -> ¬({A}{b} & {C}{b}); int1 & int2 -> hypothesis;
あのサムは各王朝でない
$facts$ = fact1: もし仮に「この階段等は暗過ぎるかあるいは有用物質でないかもしくはどちらもだ」ということは偽であるとすればあのサムは移ろい易いということはない fact2: あのサムは有用物質だ fact3: 「この階段等は有用物質であるか各王朝だということはないかもしくは両方だ」ということは誤りだ fact4: 「あのサムは暗過ぎるかあるいはそれは有用物質でない」ということは成り立たない fact5: もし仮にこの共起が御持ち下さらないとするとあのサムは自然治癒力でなくて移ろい易くない fact6: 仮にとある物は各王朝でないとしたら「それは移ろい易いし有用物質である」ということは正しくない fact7: 仮に「あのサムは各王朝であるかあるいは暗過ぎない」ということは誤りであるならば「この階段等は嘶かない」ということは本当だ fact8: 「あのサムは暗過ぎるかあるいはそれは有用物質でない」ということは事実と異なるとするとこの階段等は移ろい易くない fact9: 砕け易くないものは釣り込まないか大量発生しないかまたは両方ともである fact10: もし仮に「何かは大量発生しない」ということは確かであるとすればそれは御持ち下さらないし更に過剰反応しない fact11: もしあの課税山林所得金額は釣り込まないなら「それは砕け易いということはないけど大量発生する」ということは成り立たない fact12: もしも「あのサムは嘶くかまたはそれは移ろい易くないかあるいはどちらもである」ということは成り立たないとすればこの階段等は有用物質であるということはない fact13: もし仮に「あのサムは暗過ぎるかあるいは有用物質であるか両方ともである」ということは事実と異なればこの階段等は移ろい易くない fact14: その嬌名は旨い fact15: 「この階段等は可笑しくて移ろい易い」ということは偽である fact16: もしその嬌名は旨いならば「それは砕け易い一方で熱っぽくない」ということは成り立たない fact17: もしもなんらかの物は暗過ぎるということはないとしたら「移ろい易くて更にそれは有用物質である」ということは間違いだ fact18: もしとあるものは移ろい易いということはないとしたら「それは嘶くしその上各王朝だ」ということは成り立たない fact19: もし仮にあの課税山林所得金額が釣り込まないかまたはそれが大量発生するということはないかあるいはどちらもであるとしたらこの共起は大量発生しない fact20: もし仮に「その嬌名は砕け易い一方で熱っぽくない」ということは嘘ならあの課税山林所得金額は砕け易くない fact21: 「あの課税山林所得金額は砕け易くないがしかし大量発生する」ということは確かでないならそれは過剰反応しない fact22: もしもこの共起は自然治癒力だとすると「この階段等は移ろい易くないがしかし嘶く」ということは成り立つということはない ; $hypothesis$ = 「この階段等は嘶くしそれは各王朝である」ということは偽である ; $proof$ = 
fact8 & fact4 -> int1: この階段等は移ろい易くない; fact18 -> int2: もし仮にこの階段等は移ろい易くないなら「嘶くしさらにそれは各王朝だ」ということは間違っている; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮に「この階段等は暗過ぎるかあるいは有用物質でないかもしくはどちらもだ」ということは偽であるとすればあのサムは移ろい易いということはない
事実2: あのサムは有用物質だ
事実3: 「この階段等は有用物質であるか各王朝だということはないかもしくは両方だ」ということは誤りだ
事実4: 「あのサムは暗過ぎるかあるいはそれは有用物質でない」ということは成り立たない
事実5: もし仮にこの共起が御持ち下さらないとするとあのサムは自然治癒力でなくて移ろい易くない
事実6: 仮にとある物は各王朝でないとしたら「それは移ろい易いし有用物質である」ということは正しくない
事実7: 仮に「あのサムは各王朝であるかあるいは暗過ぎない」ということは誤りであるならば「この階段等は嘶かない」ということは本当だ
事実8: 「あのサムは暗過ぎるかあるいはそれは有用物質でない」ということは事実と異なるとするとこの階段等は移ろい易くない
事実9: 砕け易くないものは釣り込まないか大量発生しないかまたは両方ともである
事実10: もし仮に「何かは大量発生しない」ということは確かであるとすればそれは御持ち下さらないし更に過剰反応しない
事実11: もしあの課税山林所得金額は釣り込まないなら「それは砕け易いということはないけど大量発生する」ということは成り立たない
事実12: もしも「あのサムは嘶くかまたはそれは移ろい易くないかあるいはどちらもである」ということは成り立たないとすればこの階段等は有用物質であるということはない
事実13: もし仮に「あのサムは暗過ぎるかあるいは有用物質であるか両方ともである」ということは事実と異なればこの階段等は移ろい易くない
事実14: その嬌名は旨い
事実15: 「この階段等は可笑しくて移ろい易い」ということは偽である
事実16: もしその嬌名は旨いならば「それは砕け易い一方で熱っぽくない」ということは成り立たない
事実17: もしもなんらかの物は暗過ぎるということはないとしたら「移ろい易くて更にそれは有用物質である」ということは間違いだ
事実18: もしとあるものは移ろい易いということはないとしたら「それは嘶くしその上各王朝だ」ということは成り立たない
事実19: もし仮にあの課税山林所得金額が釣り込まないかまたはそれが大量発生するということはないかあるいはどちらもであるとしたらこの共起は大量発生しない
事実20: もし仮に「その嬌名は砕け易い一方で熱っぽくない」ということは嘘ならあの課税山林所得金額は砕け易くない
事実21: 「あの課税山林所得金額は砕け易くないがしかし大量発生する」ということは確かでないならそれは過剰反応しない
事実22: もしもこの共起は自然治癒力だとすると「この階段等は移ろい易くないがしかし嘶く」ということは成り立つということはない

仮説: 「この階段等は嘶くしそれは各王朝である」ということは偽である
1. 事実8と事実4から、推論1: "この階段等は移ろい易くない"が導かれる
2. 事実18から、推論2: "もし仮にこの階段等は移ろい易くないなら「嘶くしさらにそれは各王朝だ」ということは間違っている"が導かれる
3. 推論1と推論2から、仮説が導かれる

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