「この口唇は程良くないがそれは飛び去る」ということは成り立たない
fact1: あの漁業権が鍛え上げないとすればこのクリーム煮はマトリックス物質だ fact2: とあるものが先物外国為替契約等ならそれは程良くない fact3: もしこの分筆登記がナップスターでないならあの漁業権は手痛くない fact4: 先物外国為替契約等は程良くないけど飛び去る fact5: この分筆登記は煩わしくないししかもそれは再配置でない fact6: 仮になにかは鍛え上げないけどそれはナップスターであるとしたらそれは手痛い fact7: 手痛いものは軽んじるないしまた見出だし難くない fact8: もし仮にこの分筆登記は煩わしいということはないしさらに再配置であるということはないならナップスターでない fact9: この分筆登記は殴り倒す fact10: もし仮にあの漁業権が吐き掛けないとすればこのクリーム煮はマトリックス物質だ fact11: 手痛くないものは鍛え上げないかもしくは吐き掛けるということはないか両方である fact12: このクリーム煮がマトリックス物質ならばこの口唇は先物外国為替契約等である fact13: この鬱憤晴らしは鍛え上げるということはないしかつ設定内容でない fact14: この分筆登記は手痛くないとすれば「この口唇は程良くないけれど飛び去る」ということは成り立つということはない
fact8 & fact5 -> int1: この分筆登記はナップスターでない; int1 & fact3 -> int2: あの漁業権は手痛くない; fact11 -> int3: もしもあの漁業権が手痛くないならばそれは鍛え上げないかもしくは吐き掛けないかもしくは両方だ; int2 & int3 -> int4: あの漁業権は鍛え上げないかまたは吐き掛けない; int4 & fact1 & fact10 -> int5: このクリーム煮はマトリックス物質である; int5 & fact12 -> int6: この口唇は先物外国為替契約等である; fact4 -> int7: 仮にこの口唇は先物外国為替契約等であるとしたら「それは程良くないしかつそれは飛び去る」ということは事実である; int6 & int7 -> hypothesis;
この含水量は軽んじるないし加えて見出だし難くない
fact15 -> int8: この含水量が手痛いとすればそれは軽んじるないしまた見出だし難くない; fact16 -> int9: もしこの含水量は鍛え上げないけれどナップスターであるならば手痛い;
$facts$ = fact1: あの漁業権が鍛え上げないとすればこのクリーム煮はマトリックス物質だ fact2: とあるものが先物外国為替契約等ならそれは程良くない fact3: もしこの分筆登記がナップスターでないならあの漁業権は手痛くない fact4: 先物外国為替契約等は程良くないけど飛び去る fact5: この分筆登記は煩わしくないししかもそれは再配置でない fact6: 仮になにかは鍛え上げないけどそれはナップスターであるとしたらそれは手痛い fact7: 手痛いものは軽んじるないしまた見出だし難くない fact8: もし仮にこの分筆登記は煩わしいということはないしさらに再配置であるということはないならナップスターでない fact9: この分筆登記は殴り倒す fact10: もし仮にあの漁業権が吐き掛けないとすればこのクリーム煮はマトリックス物質だ fact11: 手痛くないものは鍛え上げないかもしくは吐き掛けるということはないか両方である fact12: このクリーム煮がマトリックス物質ならばこの口唇は先物外国為替契約等である fact13: この鬱憤晴らしは鍛え上げるということはないしかつ設定内容でない fact14: この分筆登記は手痛くないとすれば「この口唇は程良くないけれど飛び去る」ということは成り立つということはない ; $hypothesis$ = 「この口唇は程良くないがそれは飛び去る」ということは成り立たない ; $proof$ = 
fact8 & fact5 -> int1: この分筆登記はナップスターでない; int1 & fact3 -> int2: あの漁業権は手痛くない; fact11 -> int3: もしもあの漁業権が手痛くないならばそれは鍛え上げないかもしくは吐き掛けないかもしくは両方だ; int2 & int3 -> int4: あの漁業権は鍛え上げないかまたは吐き掛けない; int4 & fact1 & fact10 -> int5: このクリーム煮はマトリックス物質である; int5 & fact12 -> int6: この口唇は先物外国為替契約等である; fact4 -> int7: 仮にこの口唇は先物外国為替契約等であるとしたら「それは程良くないしかつそれは飛び去る」ということは事実である; int6 & int7 -> hypothesis; __DISPROVED__
事実1: あの漁業権が鍛え上げないとすればこのクリーム煮はマトリックス物質だ
事実2: とあるものが先物外国為替契約等ならそれは程良くない
事実3: もしこの分筆登記がナップスターでないならあの漁業権は手痛くない
事実4: 先物外国為替契約等は程良くないけど飛び去る
事実5: この分筆登記は煩わしくないししかもそれは再配置でない
事実6: 仮になにかは鍛え上げないけどそれはナップスターであるとしたらそれは手痛い
事実7: 手痛いものは軽んじるないしまた見出だし難くない
事実8: もし仮にこの分筆登記は煩わしいということはないしさらに再配置であるということはないならナップスターでない
事実9: この分筆登記は殴り倒す
事実10: もし仮にあの漁業権が吐き掛けないとすればこのクリーム煮はマトリックス物質だ
事実11: 手痛くないものは鍛え上げないかもしくは吐き掛けるということはないか両方である
事実12: このクリーム煮がマトリックス物質ならばこの口唇は先物外国為替契約等である
事実13: この鬱憤晴らしは鍛え上げるということはないしかつ設定内容でない
事実14: この分筆登記は手痛くないとすれば「この口唇は程良くないけれど飛び去る」ということは成り立つということはない

仮説: 「この口唇は程良くないがそれは飛び去る」ということは成り立たない
1. 事実8と事実5から、推論1: "この分筆登記はナップスターでない"が導かれる
2. 推論1と事実3から、推論2: "あの漁業権は手痛くない"が導かれる
3. 事実11から、推論3: "もしもあの漁業権が手痛くないならばそれは鍛え上げないかもしくは吐き掛けないかもしくは両方だ"が導かれる
4. 推論2と推論3から、推論4: "あの漁業権は鍛え上げないかまたは吐き掛けない"が導かれる
5. 推論4と事実1と事実10から、推論5: "このクリーム煮はマトリックス物質である"が導かれる
6. 推論5と事実12から、推論6: "この口唇は先物外国為替契約等である"が導かれる
7. 事実4から、推論7: "仮にこの口唇は先物外国為替契約等であるとしたら「それは程良くないしかつそれは飛び去る」ということは事実である"が導かれる
8. 推論6と推論7から、仮説が否定される

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