その賀寿は見窄らしくない
fact1: 「忌まわしくない」物はある fact2: もしもあの玉枕が忌まわしいということはないならばその賀寿は見窄らしくない fact3: なにがしかの物は収縮しない fact4: もし仮にとあるものが伸ばし易い一方で収縮しないならばあの玉枕は黒し fact5: この一打罰は伸ばし易いけれど収縮しない fact6: 「「関係外セックスであるしその上素っ気ない」ということは成り立たない」ものはある fact7: 伸ばし易い物はある fact8: この一打罰は黒し fact9: もしも不味い物が黒しとすればそれは忌まわしいということはない fact10: 「この一打罰は忌まわしい」ということは真実である fact11: もし「「関係外セックスであるし素っ気なくない」ということは偽な」物があるとするとあの玉枕は調査する fact12: 何らかのものは関係外セックスだがしかしそれは素っ気なくない fact13: 「あの段落記号は関係外セックスであるけれど素っ気なくない」ということは偽である fact14: その賀寿は不味い fact15: もし仮になにかは調査するとしたら見窄らしい fact16: 「その賀寿はパッティングする」ということは本当である fact17: なにかは調査するとすると不味い
fact13 -> int1: 「「関係外セックスであるしその上素っ気なくない」ということは成り立たない」ものはある; int1 & fact11 -> int2: あの玉枕は調査する; fact17 -> int3: もし「あの玉枕は調査する」ということは成り立つとするとそれは不味い; int2 & int3 -> int4: あの玉枕は不味い; fact5 -> int5: 「伸ばし易い一方で収縮しない」物はある; int5 & fact4 -> int6: あの玉枕は黒し; int4 & int6 -> int7: あの玉枕は不味いし黒し; fact9 -> int8: 仮にあの玉枕は不味いしおまけに黒しとしたら忌まわしくない; int7 & int8 -> int9: あの玉枕は忌まわしいということはない; int9 & fact2 -> hypothesis;
その賀寿は見窄らしい
fact18 -> int10: もしもその賀寿が調査するなら見窄らしい;
$facts$ = fact1: 「忌まわしくない」物はある fact2: もしもあの玉枕が忌まわしいということはないならばその賀寿は見窄らしくない fact3: なにがしかの物は収縮しない fact4: もし仮にとあるものが伸ばし易い一方で収縮しないならばあの玉枕は黒し fact5: この一打罰は伸ばし易いけれど収縮しない fact6: 「「関係外セックスであるしその上素っ気ない」ということは成り立たない」ものはある fact7: 伸ばし易い物はある fact8: この一打罰は黒し fact9: もしも不味い物が黒しとすればそれは忌まわしいということはない fact10: 「この一打罰は忌まわしい」ということは真実である fact11: もし「「関係外セックスであるし素っ気なくない」ということは偽な」物があるとするとあの玉枕は調査する fact12: 何らかのものは関係外セックスだがしかしそれは素っ気なくない fact13: 「あの段落記号は関係外セックスであるけれど素っ気なくない」ということは偽である fact14: その賀寿は不味い fact15: もし仮になにかは調査するとしたら見窄らしい fact16: 「その賀寿はパッティングする」ということは本当である fact17: なにかは調査するとすると不味い ; $hypothesis$ = その賀寿は見窄らしくない ; $proof$ = 
fact13 -> int1: 「「関係外セックスであるしその上素っ気なくない」ということは成り立たない」ものはある; int1 & fact11 -> int2: あの玉枕は調査する; fact17 -> int3: もし「あの玉枕は調査する」ということは成り立つとするとそれは不味い; int2 & int3 -> int4: あの玉枕は不味い; fact5 -> int5: 「伸ばし易い一方で収縮しない」物はある; int5 & fact4 -> int6: あの玉枕は黒し; int4 & int6 -> int7: あの玉枕は不味いし黒し; fact9 -> int8: 仮にあの玉枕は不味いしおまけに黒しとしたら忌まわしくない; int7 & int8 -> int9: あの玉枕は忌まわしいということはない; int9 & fact2 -> hypothesis; __PROVED__
事実1: 「忌まわしくない」物はある
事実2: もしもあの玉枕が忌まわしいということはないならばその賀寿は見窄らしくない
事実3: なにがしかの物は収縮しない
事実4: もし仮にとあるものが伸ばし易い一方で収縮しないならばあの玉枕は黒し
事実5: この一打罰は伸ばし易いけれど収縮しない
事実6: 「「関係外セックスであるしその上素っ気ない」ということは成り立たない」ものはある
事実7: 伸ばし易い物はある
事実8: この一打罰は黒し
事実9: もしも不味い物が黒しとすればそれは忌まわしいということはない
事実10: 「この一打罰は忌まわしい」ということは真実である
事実11: もし「「関係外セックスであるし素っ気なくない」ということは偽な」物があるとするとあの玉枕は調査する
事実12: 何らかのものは関係外セックスだがしかしそれは素っ気なくない
事実13: 「あの段落記号は関係外セックスであるけれど素っ気なくない」ということは偽である
事実14: その賀寿は不味い
事実15: もし仮になにかは調査するとしたら見窄らしい
事実16: 「その賀寿はパッティングする」ということは本当である
事実17: なにかは調査するとすると不味い

仮説: その賀寿は見窄らしくない
1. 事実13から、推論1: "「「関係外セックスであるしその上素っ気なくない」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実11から、推論2: "あの玉枕は調査する"が導かれる
3. 事実17から、推論3: "もし「あの玉枕は調査する」ということは成り立つとするとそれは不味い"が導かれる
4. 推論2と推論3から、推論4: "あの玉枕は不味い"が導かれる
5. 事実5から、推論5: "「伸ばし易い一方で収縮しない」物はある"が導かれる
6. 推論5と事実4から、推論6: "あの玉枕は黒し"が導かれる
7. 推論4と推論6から、推論7: "あの玉枕は不味いし黒し"が導かれる
8. 事実9から、推論8: "仮にあの玉枕は不味いしおまけに黒しとしたら忌まわしくない"が導かれる
9. 推論7と推論8から、推論9: "あの玉枕は忌まわしいということはない"が導かれる
10. 推論9と事実2から、仮説が導かれる

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