この頸管は五百石以上でなくてそれにそれは物悲しくない
fact1: もし仮になにがしかの物は区別しないとすれば「五百石以上であるけれど物悲しくない」ということは成り立たない fact2: 「あの営業時間は染み込み易いし誘致する」ということは成り立たない fact3: あの万有引力が嫉妬深いとするとこのスキンは断言出来る fact4: 「このスキンは誘致するしそれにそれは断言出来る」ということは成り立たない fact5: 仮に「染み込み易いけれど誘致しない」物があればこの頸管は区別しない fact6: もしあの万有引力は物悲しくないとすると「区別しなくておまけに嫉妬深くない」ということは間違いである fact7: 「この頸管は五百石以上だがしかしそれは物悲しいということはない」ということは成り立たない fact8: もし仮に何らかのものは区別するということはないとしたら「五百石以上でなくて加えて物悲しくない」ということは誤っている fact9: もし仮に「「染み込み易いけれど誘致しない」ということは成り立たない」物があるとすればあのスキンは断言出来ない fact10: あの万有引力は嫉妬深い fact11: 仮になんらかのものは薄汚くないかもしくは五百石以上でないかまたはどちらもならば五百石以上でない fact12: 何らかの物は上がり易い fact13: もしとある物は嫉妬深いということはないとしたら「断言出来なくておまけに五百石以上だということはない」ということは嘘である fact14: もしも「誘致する」物があるならこのスキンは断言出来ない fact15: このスキンが広告主ならばこの頸管は薄汚くないかそれは五百石以上でないかあるいは両方である fact16: このスキンは広告主だ fact17: 「「染み込み易くてかつ誘致する」ということは誤っている」物はある
void -> assump1: 以下のように仮定する。「あの営業時間は染み込み易いけれど誘致しない」ということは嘘だ; assump1 -> int1: 「「染み込み易い一方で誘致しない」ということは事実と異なる」ものはある; int1 & fact9 -> int2: このスキンは断言出来ない; fact10 & fact3 -> int3: このスキンは断言出来る; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの営業時間は染み込み易いがしかし誘致するということはない; int5 -> int6: とある物は染み込み易い一方で誘致しない; int6 & fact5 -> int7: この頸管は区別しない; fact8 -> int8: この頸管は区別しないならば「それは五百石以上でないしさらにそれは物悲しいということはない」ということは間違いだ; int7 & int8 -> hypothesis;
この頸管は五百石以上でないし物悲しくない
fact18 -> int9: この頸管が薄汚くないかあるいはそれは五百石以上でないかもしくはどちらもであるとしたら五百石以上でない; fact19 & fact20 -> int10: この頸管は薄汚くないか五百石以上でないかあるいはどちらもだ; int9 & int10 -> int11: この頸管は五百石以上でない;
$facts$ = fact1: もし仮になにがしかの物は区別しないとすれば「五百石以上であるけれど物悲しくない」ということは成り立たない fact2: 「あの営業時間は染み込み易いし誘致する」ということは成り立たない fact3: あの万有引力が嫉妬深いとするとこのスキンは断言出来る fact4: 「このスキンは誘致するしそれにそれは断言出来る」ということは成り立たない fact5: 仮に「染み込み易いけれど誘致しない」物があればこの頸管は区別しない fact6: もしあの万有引力は物悲しくないとすると「区別しなくておまけに嫉妬深くない」ということは間違いである fact7: 「この頸管は五百石以上だがしかしそれは物悲しいということはない」ということは成り立たない fact8: もし仮に何らかのものは区別するということはないとしたら「五百石以上でなくて加えて物悲しくない」ということは誤っている fact9: もし仮に「「染み込み易いけれど誘致しない」ということは成り立たない」物があるとすればあのスキンは断言出来ない fact10: あの万有引力は嫉妬深い fact11: 仮になんらかのものは薄汚くないかもしくは五百石以上でないかまたはどちらもならば五百石以上でない fact12: 何らかの物は上がり易い fact13: もしとある物は嫉妬深いということはないとしたら「断言出来なくておまけに五百石以上だということはない」ということは嘘である fact14: もしも「誘致する」物があるならこのスキンは断言出来ない fact15: このスキンが広告主ならばこの頸管は薄汚くないかそれは五百石以上でないかあるいは両方である fact16: このスキンは広告主だ fact17: 「「染み込み易くてかつ誘致する」ということは誤っている」物はある ; $hypothesis$ = この頸管は五百石以上でなくてそれにそれは物悲しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの営業時間は染み込み易いけれど誘致しない」ということは嘘だ; assump1 -> int1: 「「染み込み易い一方で誘致しない」ということは事実と異なる」ものはある; int1 & fact9 -> int2: このスキンは断言出来ない; fact10 & fact3 -> int3: このスキンは断言出来る; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの営業時間は染み込み易いがしかし誘致するということはない; int5 -> int6: とある物は染み込み易い一方で誘致しない; int6 & fact5 -> int7: この頸管は区別しない; fact8 -> int8: この頸管は区別しないならば「それは五百石以上でないしさらにそれは物悲しいということはない」ということは間違いだ; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかの物は区別しないとすれば「五百石以上であるけれど物悲しくない」ということは成り立たない
事実2: 「あの営業時間は染み込み易いし誘致する」ということは成り立たない
事実3: あの万有引力が嫉妬深いとするとこのスキンは断言出来る
事実4: 「このスキンは誘致するしそれにそれは断言出来る」ということは成り立たない
事実5: 仮に「染み込み易いけれど誘致しない」物があればこの頸管は区別しない
事実6: もしあの万有引力は物悲しくないとすると「区別しなくておまけに嫉妬深くない」ということは間違いである
事実7: 「この頸管は五百石以上だがしかしそれは物悲しいということはない」ということは成り立たない
事実8: もし仮に何らかのものは区別するということはないとしたら「五百石以上でなくて加えて物悲しくない」ということは誤っている
事実9: もし仮に「「染み込み易いけれど誘致しない」ということは成り立たない」物があるとすればあのスキンは断言出来ない
事実10: あの万有引力は嫉妬深い
事実11: 仮になんらかのものは薄汚くないかもしくは五百石以上でないかまたはどちらもならば五百石以上でない
事実12: 何らかの物は上がり易い
事実13: もしとある物は嫉妬深いということはないとしたら「断言出来なくておまけに五百石以上だということはない」ということは嘘である
事実14: もしも「誘致する」物があるならこのスキンは断言出来ない
事実15: このスキンが広告主ならばこの頸管は薄汚くないかそれは五百石以上でないかあるいは両方である
事実16: このスキンは広告主だ
事実17: 「「染み込み易くてかつ誘致する」ということは誤っている」物はある

仮説: この頸管は五百石以上でなくてそれにそれは物悲しくない
1. 仮定1: 以下のように仮定する。「あの営業時間は染み込み易いけれど誘致しない」ということは嘘だ
2. 仮定1から、推論1: "「「染み込み易い一方で誘致しない」ということは事実と異なる」ものはある"が導かれる
3. 推論1と事実9から、推論2: "このスキンは断言出来ない"が導かれる
4. 事実10と事実3から、推論3: "このスキンは断言出来る"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの営業時間は染み込み易いがしかし誘致するということはない"が導かれる
7. 推論5から、推論6: "とある物は染み込み易い一方で誘致しない"が導かれる
8. 推論6と事実5から、推論7: "この頸管は区別しない"が導かれる
9. 事実8から、推論8: "この頸管は区別しないならば「それは五百石以上でないしさらにそれは物悲しいということはない」ということは間違いだ"が導かれる
10. 推論7と推論8から、仮説が否定される

よって、仮説が否定されました。