あのクーポンレートは扱い始めるかまたは受け易くないかまたはどちらもだ
fact1: あの医療資源は付け易い fact2: もし仮に「「格好悪くて喜び歌う」ということは間違っている」物があるとすればあの二千二年現在はリアル・ファイトでない fact3: 仮になにかは観測しないなら「それが黒巫女だしそれは鶏笹身である」ということは偽である fact4: 「慌て出さない」物があるとするとあのクーポンレートは扱い始めるかあるいは受け易いということはないかまたはどちらもだ fact5: もしもあの医療資源が慌て出さないけれど扱い始めるとすればそれは受け易くない fact6: 「そのＳ邸は怠くらないがしかし禍々しい」ということは正しくない fact7: どれもこれもは強制保険でないけれど付け易い fact8: 仮に「あのクーポンレートは受け易い一方で慌て出さない」ということは誤っているとしたらあの心置きは扱い始めない fact9: 仮にそのＳ邸が怠いならそのスープ売りは怠い fact10: どれもこれもは付け易い fact11: あのクーポンレートは扱い始めるかまたは受け易い fact12: もしそのスープ売りが怠いとすれば生白くないし更にベルト・キットでない fact13: もし「慌て出さない」物があるならあのクーポンレートは扱い始めるかまたは受け易いかもしくはどちらもだ fact14: もしもあるものはベルト・キットでないならば「「格好悪いし喜び歌う」ということは成り立つ」ということは真実でない fact15: もし仮に「とあるものは鶏笹身だ」ということは成り立つなら「受け易い一方で慌て出さない」ということは成り立たない fact16: もし「そのＳ邸は怠いということはないけど禍々しい」ということは偽であるとしたら怠い fact17: 仮に「この体育教師は黒巫女であるしそれに鶏笹身だ」ということは成り立たないとすればあのクーポンレートは慌て出さない fact18: 何かは強制保険でない一方で付け易いとしたら「それは慌て出すということはない」ということは誤りでない
fact18 -> int1: もしあの医療資源は強制保険でないけど付け易いなら慌て出さない; fact7 -> int2: あの医療資源は強制保険でないけれど付け易い; int1 & int2 -> int3: あの医療資源は慌て出さない; int3 -> int4: 「慌て出さない」物はある; int4 & fact4 -> hypothesis;
「あのクーポンレートは扱い始めるかあるいは受け易くないかあるいは両方である」ということは嘘である
fact19 -> int5: 「もしもこの体育教師は観測しないとすれば「この体育教師は黒巫女であるしまた鶏笹身である」ということは成り立たない」ということは成り立つ; fact22 -> int6: 仮にそのスープ売りはベルト・キットでないなら「格好悪いし更にそれは喜び歌う」ということは嘘である; fact25 & fact23 -> int7: そのＳ邸は怠い; fact24 & int7 -> int8: そのスープ売りは怠い; fact20 & int8 -> int9: そのスープ売りは生白いということはなくてベルト・キットでない; int9 -> int10: そのスープ売りはベルト・キットであるということはない; int6 & int10 -> int11: 「そのスープ売りは格好悪いしさらに喜び歌う」ということは誤っている; int11 -> int12: 「「格好悪くてそれに喜び歌う」ということは誤っている」物はある; int12 & fact21 -> int13: この二千二年現在はリアル・ファイトでない; int13 -> int14: なんらかのものはリアル・ファイトだということはない;
$facts$ = fact1: あの医療資源は付け易い fact2: もし仮に「「格好悪くて喜び歌う」ということは間違っている」物があるとすればあの二千二年現在はリアル・ファイトでない fact3: 仮になにかは観測しないなら「それが黒巫女だしそれは鶏笹身である」ということは偽である fact4: 「慌て出さない」物があるとするとあのクーポンレートは扱い始めるかあるいは受け易いということはないかまたはどちらもだ fact5: もしもあの医療資源が慌て出さないけれど扱い始めるとすればそれは受け易くない fact6: 「そのＳ邸は怠くらないがしかし禍々しい」ということは正しくない fact7: どれもこれもは強制保険でないけれど付け易い fact8: 仮に「あのクーポンレートは受け易い一方で慌て出さない」ということは誤っているとしたらあの心置きは扱い始めない fact9: 仮にそのＳ邸が怠いならそのスープ売りは怠い fact10: どれもこれもは付け易い fact11: あのクーポンレートは扱い始めるかまたは受け易い fact12: もしそのスープ売りが怠いとすれば生白くないし更にベルト・キットでない fact13: もし「慌て出さない」物があるならあのクーポンレートは扱い始めるかまたは受け易いかもしくはどちらもだ fact14: もしもあるものはベルト・キットでないならば「「格好悪いし喜び歌う」ということは成り立つ」ということは真実でない fact15: もし仮に「とあるものは鶏笹身だ」ということは成り立つなら「受け易い一方で慌て出さない」ということは成り立たない fact16: もし「そのＳ邸は怠いということはないけど禍々しい」ということは偽であるとしたら怠い fact17: 仮に「この体育教師は黒巫女であるしそれに鶏笹身だ」ということは成り立たないとすればあのクーポンレートは慌て出さない fact18: 何かは強制保険でない一方で付け易いとしたら「それは慌て出すということはない」ということは誤りでない ; $hypothesis$ = あのクーポンレートは扱い始めるかまたは受け易くないかまたはどちらもだ ; $proof$ = 
fact18 -> int1: もしあの医療資源は強制保険でないけど付け易いなら慌て出さない; fact7 -> int2: あの医療資源は強制保険でないけれど付け易い; int1 & int2 -> int3: あの医療資源は慌て出さない; int3 -> int4: 「慌て出さない」物はある; int4 & fact4 -> hypothesis; __PROVED__
事実1: あの医療資源は付け易い
事実2: もし仮に「「格好悪くて喜び歌う」ということは間違っている」物があるとすればあの二千二年現在はリアル・ファイトでない
事実3: 仮になにかは観測しないなら「それが黒巫女だしそれは鶏笹身である」ということは偽である
事実4: 「慌て出さない」物があるとするとあのクーポンレートは扱い始めるかあるいは受け易いということはないかまたはどちらもだ
事実5: もしもあの医療資源が慌て出さないけれど扱い始めるとすればそれは受け易くない
事実6: 「そのＳ邸は怠くらないがしかし禍々しい」ということは正しくない
事実7: どれもこれもは強制保険でないけれど付け易い
事実8: 仮に「あのクーポンレートは受け易い一方で慌て出さない」ということは誤っているとしたらあの心置きは扱い始めない
事実9: 仮にそのＳ邸が怠いならそのスープ売りは怠い
事実10: どれもこれもは付け易い
事実11: あのクーポンレートは扱い始めるかまたは受け易い
事実12: もしそのスープ売りが怠いとすれば生白くないし更にベルト・キットでない
事実13: もし「慌て出さない」物があるならあのクーポンレートは扱い始めるかまたは受け易いかもしくはどちらもだ
事実14: もしもあるものはベルト・キットでないならば「「格好悪いし喜び歌う」ということは成り立つ」ということは真実でない
事実15: もし仮に「とあるものは鶏笹身だ」ということは成り立つなら「受け易い一方で慌て出さない」ということは成り立たない
事実16: もし「そのＳ邸は怠いということはないけど禍々しい」ということは偽であるとしたら怠い
事実17: 仮に「この体育教師は黒巫女であるしそれに鶏笹身だ」ということは成り立たないとすればあのクーポンレートは慌て出さない
事実18: 何かは強制保険でない一方で付け易いとしたら「それは慌て出すということはない」ということは誤りでない

仮説: あのクーポンレートは扱い始めるかまたは受け易くないかまたはどちらもだ
1. 事実18から、推論1: "もしあの医療資源は強制保険でないけど付け易いなら慌て出さない"が導かれる
2. 事実7から、推論2: "あの医療資源は強制保険でないけれど付け易い"が導かれる
3. 推論1と推論2から、推論3: "あの医療資源は慌て出さない"が導かれる
4. 推論3から、推論4: "「慌て出さない」物はある"が導かれる
5. 推論4と事実4から、仮説が導かれる

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