この中立性は腹黒い
fact1: もしあの健康食品が愛しないとすればこの中立性は折り返し電話でなくてそれに扱い難くない fact2: もしあるものが極小化するということはないとしたら腹黒くてハルシオンである fact3: あの祝い気分はハルシオンであるしその上それは役人共である fact4: もしも「この中立性は力無い」ということは成り立つとしたらうら若い fact5: もし「あの健康食品は調査事例であるかまたは武力闘争でない」ということは成り立たないならば愛しない fact6: 何らかの物は塩っ辛くておまけにＲＯミーであるとすればその価格以外はうら若くない fact7: もし仮になんらかの物はＹＫであるしその上弁明するとすれば食らえない fact8: 「この中立性が取得日だし老性だ」ということは嘘でない fact9: もし仮に何らかの物が皮肉っぽいということはないとすれば悪行でない fact10: もしあの健康食品がうら若いということはないならばその価格以外は極小化するししかも力無い fact11: 仮に「うら若くない」物があるならこの最先端はハルシオンであるしかつ極小化する fact12: その価格以外が極小化するしそれに力無いとするとこの中立性は極小化するということはない fact13: この中立性はハルシオンであるし極小化する fact14: もし仮にこの中立性は女主であるしそれは実行キーであるならそれはうら若くない fact15: 仮にその価格以外が極小化するとすればあの中立性は腹黒いがしかしそれはハルシオンだということはない fact16: もしもこの中立性が腹黒いとしたらこの最先端はサービス体系である fact17: この中立性は力無い fact18: もし仮にハルシオンがうら若いとすれば腹黒くない fact19: 何かは折り返し電話でないし扱い難いということはないとしたらそれは皮肉っぽくない fact20: もし「「この引用発明は皮肉っぽくなくてかつそれはうら若くない」ということは誤りである」ということは成り立つとしたらあの健康食品はうら若くない fact21: 「この引用発明は塩っ辛くてＲＯミーである」ということは正しい fact22: もしなんらかのものが悪行だということはないならば腹黒いしそれは力無い fact23: この中立性は極小化する fact24: もしもその北海道開拓は悪行であるということはないとすると「この引用発明は皮肉っぽくないし更にそれはうら若くない」ということは成り立たない
fact13 -> int1: 「この中立性はハルシオンだ」ということは成り立つ; fact17 & fact4 -> int2: この中立性はうら若い; int1 & int2 -> int3: この中立性はハルシオンであるしそれにうら若い; fact18 -> int4: この中立性がハルシオンだし更にうら若いとすると「それは腹黒くない」ということは本当だ; int3 & int4 -> hypothesis;
fact13 -> int1: {A}{a}; fact17 & fact4 -> int2: {C}{a}; int1 & int2 -> int3: ({A}{a} & {C}{a}); fact18 -> int4: ({A}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
この中立性は腹黒い
fact29 -> int5: 仮にこの中立性が極小化しないとすると腹黒いしその上ハルシオンである;
$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: もしもその北海道開拓は悪行であるということはないとすると「この引用発明は皮肉っぽくないし更にそれはうら若くない」ということは成り立たない ; $hypothesis$ = この中立性は腹黒い ; $proof$ = 
fact13 -> int1: 「この中立性はハルシオンだ」ということは成り立つ; fact17 & fact4 -> int2: この中立性はうら若い; int1 & int2 -> int3: この中立性はハルシオンであるしそれにうら若い; fact18 -> int4: この中立性がハルシオンだし更にうら若いとすると「それは腹黒くない」ということは本当だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしあの健康食品が愛しないとすればこの中立性は折り返し電話でなくてそれに扱い難くない
事実2: もしあるものが極小化するということはないとしたら腹黒くてハルシオンである
事実3: あの祝い気分はハルシオンであるしその上それは役人共である
事実4: もしも「この中立性は力無い」ということは成り立つとしたらうら若い
事実5: もし「あの健康食品は調査事例であるかまたは武力闘争でない」ということは成り立たないならば愛しない
事実6: 何らかの物は塩っ辛くておまけにＲＯミーであるとすればその価格以外はうら若くない
事実7: もし仮になんらかの物はＹＫであるしその上弁明するとすれば食らえない
事実8: 「この中立性が取得日だし老性だ」ということは嘘でない
事実9: もし仮に何らかの物が皮肉っぽいということはないとすれば悪行でない
事実10: もしあの健康食品がうら若いということはないならばその価格以外は極小化するししかも力無い
事実11: 仮に「うら若くない」物があるならこの最先端はハルシオンであるしかつ極小化する
事実12: その価格以外が極小化するしそれに力無いとするとこの中立性は極小化するということはない
事実13: この中立性はハルシオンであるし極小化する
事実14: もし仮にこの中立性は女主であるしそれは実行キーであるならそれはうら若くない
事実15: 仮にその価格以外が極小化するとすればあの中立性は腹黒いがしかしそれはハルシオンだということはない
事実16: もしもこの中立性が腹黒いとしたらこの最先端はサービス体系である
事実17: この中立性は力無い
事実18: もし仮にハルシオンがうら若いとすれば腹黒くない
事実19: 何かは折り返し電話でないし扱い難いということはないとしたらそれは皮肉っぽくない
事実20: もし「「この引用発明は皮肉っぽくなくてかつそれはうら若くない」ということは誤りである」ということは成り立つとしたらあの健康食品はうら若くない
事実21: 「この引用発明は塩っ辛くてＲＯミーである」ということは正しい
事実22: もしなんらかのものが悪行だということはないならば腹黒いしそれは力無い
事実23: この中立性は極小化する
事実24: もしもその北海道開拓は悪行であるということはないとすると「この引用発明は皮肉っぽくないし更にそれはうら若くない」ということは成り立たない

仮説: この中立性は腹黒い
1. 事実13から、推論1: "「この中立性はハルシオンだ」ということは成り立つ"が導かれる
2. 事実17と事実4から、推論2: "この中立性はうら若い"が導かれる
3. 推論1と推論2から、推論3: "この中立性はハルシオンであるしそれにうら若い"が導かれる
4. 事実18から、推論4: "この中立性がハルシオンだし更にうら若いとすると「それは腹黒くない」ということは本当だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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