あの脂肪は社会党系である一方で不倫しない
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: もし仮にそのマックスがエントリーでないがしかし尤もらしいとしたらその生物種は深い
void -> assump1: 以下のように仮定する。あの脂肪は突き付けるということはないし更にオーラル・ヒストリーでない; fact3 & assump1 -> int1: あの脂肪は経由するということはない; int1 & fact13 -> int2: そのマックスは尤もらしい; int2 & fact21 -> int3: そのマックスはエントリーだということはないけど尤もらしい; int3 & fact26 -> int4: 「その生物種は深い」ということは事実である; int4 & fact25 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの脂肪は突き付けるということはなくてオーラル・ヒストリーでない」ということは誤っている; int6 & fact17 -> int7: あの脂肪は社会党系である; int7 & fact6 -> hypothesis;
そのマックスは気安い
$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$ = 
void -> assump1: 以下のように仮定する。あの脂肪は突き付けるということはないし更にオーラル・ヒストリーでない; fact3 & assump1 -> int1: あの脂肪は経由するということはない; int1 & fact13 -> int2: そのマックスは尤もらしい; int2 & fact21 -> int3: そのマックスはエントリーだということはないけど尤もらしい; int3 & fact26 -> int4: 「その生物種は深い」ということは事実である; int4 & fact25 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの脂肪は突き付けるということはなくてオーラル・ヒストリーでない」ということは誤っている; int6 & fact17 -> int7: あの脂肪は社会党系である; int7 & fact6 -> 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: 以下のように仮定する。あの脂肪は突き付けるということはないし更にオーラル・ヒストリーでない
2. 事実3と仮定1から、推論1: "あの脂肪は経由するということはない"が導かれる
3. 推論1と事実13から、推論2: "そのマックスは尤もらしい"が導かれる
4. 推論2と事実21から、推論3: "そのマックスはエントリーだということはないけど尤もらしい"が導かれる
5. 推論3と事実26から、推論4: "「その生物種は深い」ということは事実である"が導かれる
6. 推論4と事実25から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの脂肪は突き付けるということはなくてオーラル・ヒストリーでない」ということは誤っている"が導かれる
8. 推論6と事実17から、推論7: "あの脂肪は社会党系である"が導かれる
9. 推論7と事実6から、仮説が導かれる

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