あの情交は共有セッションでその上愛情深い
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: 仮に何かは迸るということはないとすれば「共有セッションであるしさらに愛情深い」ということは事実と異なる fact27: あるものは柔らかくないならば「その株式会社は柔らかいしピラニアだ」ということは嘘だ fact28: 格好良い物は開港しない
fact4 -> int1: その株式会社が迸るとしたらＴさんだということはないけどクリスマスカードである; void -> assump1: 以下のように仮定する。その株式会社は迸る; int1 & assump1 -> int2: その株式会社はＴさんだということはないけれどクリスマスカードだ; fact8 -> int3: もしもその株式会社がＴさんでない一方でそれはクリスマスカードであるならそれは柔らかい; int2 & int3 -> int4: その株式会社は柔らかい; fact27 & fact7 -> int5: 「その株式会社は柔らかくてさらにピラニアだ」ということは嘘である; int5 & fact3 -> int6: その株式会社は柔らかくない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その株式会社は迸らない; int8 & fact5 -> int9: そのドミンゴは厳つい物であり更に迸るということはない; int9 & fact14 -> int10: あの情交は共有セッションである; fact2 -> int11: あの情交は蝦狄で愛情深い; int11 -> int12: あの情交は愛情深い; int10 & int12 -> hypothesis;
「あの情交は共有セッションであるしさらにそれは愛情深い」ということは成り立たない
fact36 -> int13: もし仮にあの情交は迸らないとすれば「共有セッションであるしそれは愛情深い」ということは誤りだ; fact35 -> int14: もし仮に「そのドミンゴは柔らかいし蝦狄だ」ということは成り立たないならそれは柔らかくない; fact40 -> int15: もしもあのグループ経営がピラニアであるということはないとしたら厳ついし加えてそれは暴く; fact39 -> int16: もし仮にあの取材が凄まじいとすると大角だ; fact33 -> int17: もしも「あの取材は馬鹿でかくないけどフライドチキンである」ということは事実と異なれば凄まじい; fact37 -> int18: もし仮にあの取材は拒み続けないとすると「それは馬鹿でかくないがフライドチキンである」ということは誤っている;
$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: 仮に何かは迸るということはないとすれば「共有セッションであるしさらに愛情深い」ということは事実と異なる fact27: あるものは柔らかくないならば「その株式会社は柔らかいしピラニアだ」ということは嘘だ fact28: 格好良い物は開港しない ; $hypothesis$ = あの情交は共有セッションでその上愛情深い ; $proof$ = 
fact4 -> int1: その株式会社が迸るとしたらＴさんだということはないけどクリスマスカードである; void -> assump1: 以下のように仮定する。その株式会社は迸る; int1 & assump1 -> int2: その株式会社はＴさんだということはないけれどクリスマスカードだ; fact8 -> int3: もしもその株式会社がＴさんでない一方でそれはクリスマスカードであるならそれは柔らかい; int2 & int3 -> int4: その株式会社は柔らかい; fact27 & fact7 -> int5: 「その株式会社は柔らかくてさらにピラニアだ」ということは嘘である; int5 & fact3 -> int6: その株式会社は柔らかくない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その株式会社は迸らない; int8 & fact5 -> int9: そのドミンゴは厳つい物であり更に迸るということはない; int9 & fact14 -> int10: あの情交は共有セッションである; fact2 -> int11: あの情交は蝦狄で愛情深い; int11 -> int12: あの情交は愛情深い; int10 & int12 -> 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: 仮に何かは迸るということはないとすれば「共有セッションであるしさらに愛情深い」ということは事実と異なる
事実27: あるものは柔らかくないならば「その株式会社は柔らかいしピラニアだ」ということは嘘だ
事実28: 格好良い物は開港しない

仮説: あの情交は共有セッションでその上愛情深い
1. 事実4から、推論1: "その株式会社が迸るとしたらＴさんだということはないけどクリスマスカードである"が導かれる
2. 仮定1: 以下のように仮定する。その株式会社は迸る
3. 推論1と仮定1から、推論2: "その株式会社はＴさんだということはないけれどクリスマスカードだ"が導かれる
4. 事実8から、推論3: "もしもその株式会社がＴさんでない一方でそれはクリスマスカードであるならそれは柔らかい"が導かれる
5. 推論2と推論3から、推論4: "その株式会社は柔らかい"が導かれる
6. 事実27と事実7から、推論5: "「その株式会社は柔らかくてさらにピラニアだ」ということは嘘である"が導かれる
7. 推論5と事実3から、推論6: "その株式会社は柔らかくない"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その株式会社は迸らない"が導かれる
10. 推論8と事実5から、推論9: "そのドミンゴは厳つい物であり更に迸るということはない"が導かれる
11. 推論9と事実14から、推論10: "あの情交は共有セッションである"が導かれる
12. 事実2から、推論11: "あの情交は蝦狄で愛情深い"が導かれる
13. 推論11から、推論12: "あの情交は愛情深い"が導かれる
14. 推論10と推論12から、仮説が導かれる

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