その主食は逸れるということはない
fact1: 誤り無くない物が給するとすればそれは同居生活だ fact2: もし仮にその土製品が同居生活ならばその主食はリビング・ルームでないけれど逸れる fact3: 仮に「なにかは誤り無くないけれど給する」ということは偽だとすると逸れない fact4: あの歴史的記念物は給する fact5: その土製品は塩辛くない fact6: 同居生活はリビング・ルームだ fact7: もし何らかの物が誤り無いとするとそれは逸れない fact8: もし仮に誤り無い物が給するとすると同居生活である fact9: 仮に「とあるものは神社参拝でなくて加えてそれは同居生活でない」ということは真実でないとしたら「同居生活だ」ということは事実である fact10: もしもその第三四分位数が塩辛いししかもそれが来たとしたらその運河は塩辛くない fact11: もしもその主食が誤り無くてそれは給するとすると「それは同居生活だ」ということは成り立つ fact12: その土製品はリビング・ルームだ fact13: その主食は誤り無くない fact14: 仮にその主食は誤り無いなら「それは逸れない」ということは確かだ fact15: 仮に「その主食はリビング・ルームである」ということは確かならば塩辛い fact16: 仮にその土製品が塩辛くないとすればその主食は塩辛くない fact17: もしもある物が所領構成でないとすればそれは専有部分で来た fact18: その土製品は神社参拝でない fact19: 「その土製品は誤り無い」ということは成り立つ fact20: もし仮にこの世代が感電しないけれど誤り無いなら自治会活動だ fact21: その第三四分位数は塩辛いしデシリットル以上である fact22: 「その土製品は誤り無くないけれど帰経だ」ということは誤っているなら「多しない」ということは成り立つ fact23: もしもその土製品は来たないとすれば「「塩辛くてまた逸れる」ということは真実だ」ということは間違いだ fact24: もし仮にその土製品がリビング・ルームでないし逸れないとしたらその主食は逸れる fact25: もし仮にその運河は塩辛くないとすれば「その土製品は神社参拝でなくて更に同居生活であるということはない」ということは成り立たない fact26: もし「「何らかの物は楽しくない一方で変え難い」ということは事実である」ということは成り立たないとすればまだるっこしくない
fact1 -> int1: もし仮にその主食が誤り無くないけどそれが給するとすれば同居生活だ; void -> assump1: 以下のように仮定する。「その主食は誤り無くないが給する」ということは成り立つ; int1 & assump1 -> int2: その主食は同居生活である; fact6 -> int3: 「もし仮にその主食が同居生活だとすればその主食はリビング・ルームである」ということは確かだ; int2 & int3 -> int4: 「その主食はリビング・ルームだ」ということは事実である; int4 & fact15 -> int5: その主食は塩辛い; fact16 & fact5 -> int6: その主食は塩辛くない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その主食は誤り無くないがしかし給する」ということは成り立つということはない; fact3 -> int9: 「その主食は誤り無くない一方で給する」ということは成り立たないとしたら逸れない; int8 & int9 -> hypothesis;
その主食は逸れる
fact28 -> int10: もしも「その土製品は神社参拝でないしそれに同居生活でない」ということは間違っているなら同居生活だ; fact27 -> int11: その第三四分位数は塩辛い; fact32 -> int12: あの販売員が所領構成であるということはないとすると専有部分だしそれは来た;
$facts$ = fact1: 誤り無くない物が給するとすればそれは同居生活だ fact2: もし仮にその土製品が同居生活ならばその主食はリビング・ルームでないけれど逸れる fact3: 仮に「なにかは誤り無くないけれど給する」ということは偽だとすると逸れない fact4: あの歴史的記念物は給する fact5: その土製品は塩辛くない fact6: 同居生活はリビング・ルームだ fact7: もし何らかの物が誤り無いとするとそれは逸れない fact8: もし仮に誤り無い物が給するとすると同居生活である fact9: 仮に「とあるものは神社参拝でなくて加えてそれは同居生活でない」ということは真実でないとしたら「同居生活だ」ということは事実である fact10: もしもその第三四分位数が塩辛いししかもそれが来たとしたらその運河は塩辛くない fact11: もしもその主食が誤り無くてそれは給するとすると「それは同居生活だ」ということは成り立つ fact12: その土製品はリビング・ルームだ fact13: その主食は誤り無くない fact14: 仮にその主食は誤り無いなら「それは逸れない」ということは確かだ fact15: 仮に「その主食はリビング・ルームである」ということは確かならば塩辛い fact16: 仮にその土製品が塩辛くないとすればその主食は塩辛くない fact17: もしもある物が所領構成でないとすればそれは専有部分で来た fact18: その土製品は神社参拝でない fact19: 「その土製品は誤り無い」ということは成り立つ fact20: もし仮にこの世代が感電しないけれど誤り無いなら自治会活動だ fact21: その第三四分位数は塩辛いしデシリットル以上である fact22: 「その土製品は誤り無くないけれど帰経だ」ということは誤っているなら「多しない」ということは成り立つ fact23: もしもその土製品は来たないとすれば「「塩辛くてまた逸れる」ということは真実だ」ということは間違いだ fact24: もし仮にその土製品がリビング・ルームでないし逸れないとしたらその主食は逸れる fact25: もし仮にその運河は塩辛くないとすれば「その土製品は神社参拝でなくて更に同居生活であるということはない」ということは成り立たない fact26: もし「「何らかの物は楽しくない一方で変え難い」ということは事実である」ということは成り立たないとすればまだるっこしくない ; $hypothesis$ = その主食は逸れるということはない ; $proof$ = 
fact1 -> int1: もし仮にその主食が誤り無くないけどそれが給するとすれば同居生活だ; void -> assump1: 以下のように仮定する。「その主食は誤り無くないが給する」ということは成り立つ; int1 & assump1 -> int2: その主食は同居生活である; fact6 -> int3: 「もし仮にその主食が同居生活だとすればその主食はリビング・ルームである」ということは確かだ; int2 & int3 -> int4: 「その主食はリビング・ルームだ」ということは事実である; int4 & fact15 -> int5: その主食は塩辛い; fact16 & fact5 -> int6: その主食は塩辛くない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その主食は誤り無くないがしかし給する」ということは成り立つということはない; fact3 -> int9: 「その主食は誤り無くない一方で給する」ということは成り立たないとしたら逸れない; int8 & int9 -> hypothesis; __PROVED__
事実1: 誤り無くない物が給するとすればそれは同居生活だ
事実2: もし仮にその土製品が同居生活ならばその主食はリビング・ルームでないけれど逸れる
事実3: 仮に「なにかは誤り無くないけれど給する」ということは偽だとすると逸れない
事実4: あの歴史的記念物は給する
事実5: その土製品は塩辛くない
事実6: 同居生活はリビング・ルームだ
事実7: もし何らかの物が誤り無いとするとそれは逸れない
事実8: もし仮に誤り無い物が給するとすると同居生活である
事実9: 仮に「とあるものは神社参拝でなくて加えてそれは同居生活でない」ということは真実でないとしたら「同居生活だ」ということは事実である
事実10: もしもその第三四分位数が塩辛いししかもそれが来たとしたらその運河は塩辛くない
事実11: もしもその主食が誤り無くてそれは給するとすると「それは同居生活だ」ということは成り立つ
事実12: その土製品はリビング・ルームだ
事実13: その主食は誤り無くない
事実14: 仮にその主食は誤り無いなら「それは逸れない」ということは確かだ
事実15: 仮に「その主食はリビング・ルームである」ということは確かならば塩辛い
事実16: 仮にその土製品が塩辛くないとすればその主食は塩辛くない
事実17: もしもある物が所領構成でないとすればそれは専有部分で来た
事実18: その土製品は神社参拝でない
事実19: 「その土製品は誤り無い」ということは成り立つ
事実20: もし仮にこの世代が感電しないけれど誤り無いなら自治会活動だ
事実21: その第三四分位数は塩辛いしデシリットル以上である
事実22: 「その土製品は誤り無くないけれど帰経だ」ということは誤っているなら「多しない」ということは成り立つ
事実23: もしもその土製品は来たないとすれば「「塩辛くてまた逸れる」ということは真実だ」ということは間違いだ
事実24: もし仮にその土製品がリビング・ルームでないし逸れないとしたらその主食は逸れる
事実25: もし仮にその運河は塩辛くないとすれば「その土製品は神社参拝でなくて更に同居生活であるということはない」ということは成り立たない
事実26: もし「「何らかの物は楽しくない一方で変え難い」ということは事実である」ということは成り立たないとすればまだるっこしくない

仮説: その主食は逸れるということはない
1. 事実1から、推論1: "もし仮にその主食が誤り無くないけどそれが給するとすれば同居生活だ"が導かれる
2. 仮定1: 以下のように仮定する。「その主食は誤り無くないが給する」ということは成り立つ
3. 推論1と仮定1から、推論2: "その主食は同居生活である"が導かれる
4. 事実6から、推論3: "「もし仮にその主食が同居生活だとすればその主食はリビング・ルームである」ということは確かだ"が導かれる
5. 推論2と推論3から、推論4: "「その主食はリビング・ルームだ」ということは事実である"が導かれる
6. 推論4と事実15から、推論5: "その主食は塩辛い"が導かれる
7. 事実16と事実5から、推論6: "その主食は塩辛くない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「その主食は誤り無くないがしかし給する」ということは成り立つということはない"が導かれる
10. 事実3から、推論9: "「その主食は誤り無くない一方で給する」ということは成り立たないとしたら逸れない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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