この脂肪分は省エネ効果でない
fact1: もしもこの天然塩が動力だとしたらこの脂肪分は省エネ効果である fact2: もし仮に「その外来植物は理屈っぽくない」ということは正しいとすると「それは動力だ」ということは成り立つ fact3: もし仮に「その許容度は砲身だけれどダイアリードでない」ということは嘘であるとすれば動力でない fact4: その許容度は人らしいかまたはそれは匪賊であるかもしくはどちらもである fact5: もし仮にあの郵便箱が匪賊でないならその許容度は人らしいかもしくは匪賊でない fact6: 仮にその許容度が省エネ効果でないならばあの脂肪分は匪賊でない fact7: もしあの郵便箱が匪賊でないとしたらその許容度は人らしいかまたは匪賊だ fact8: もしもこのロワールワインが漏れ無いならあの郵便箱は漏れ無い fact9: このロワールワインは動力でない fact10: もしなんらかの物が匪賊でないとすればそれは省エネ効果でない fact11: もしもその許容度がタイトルらしくないとすればあの天然塩は人らしいかそれはタイトルらしくないかまたは両方ともだ fact12: 仮にその許容度が人らしいかそれが匪賊でないかまたは両方であるならばあの天然塩はタイトルらしくない fact13: もし仮に何らかの物は匪賊であるならそれは漏れ無いということはない fact14: 仮にその許容度が匪賊であるということはないならばこの天然塩はタイトルらしいということはない fact15: このロワールワインは漏れ無い fact16: もし「とある物は匪賊だがしかしタイトルらしくない」ということは確かでないならばそれは匪賊だということはない fact17: 仮にその許容度がタイトルらしいとしたらこの天然塩は匪賊だ fact18: もし仮にその許容度が動力でないとするとそれは漏れ無いしそれは人らしい fact19: 仮にその許容度が省エネ効果でないとするとこの脂肪分は省エネ効果であるということはない fact20: もし仮に何らかの物がタイトルらしいということはないとすればそれは動力である
fact13 -> int1: もしもあの郵便箱が匪賊ならばそれは漏れ無くない; void -> assump1: 以下のように仮定する。あの郵便箱は匪賊だ; int1 & assump1 -> int2: あの郵便箱は漏れ無くない; fact15 & fact8 -> int3: あの郵便箱は漏れ無い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの郵便箱は匪賊でない; int5 & fact5 -> int6: その許容度は人らしいかもしくはそれは匪賊でない; int6 & fact12 -> int7: この天然塩はタイトルらしくない; fact20 -> int8: もしもこの天然塩がタイトルらしくないならばそれは動力である; int7 & int8 -> int9: この天然塩は動力である; int9 & fact1 -> hypothesis;
この脂肪分は省エネ効果でない
fact21 -> int10: もしその許容度は匪賊でないとすると省エネ効果でない; fact22 -> int11: もしも「その許容度は匪賊だがしかしそれはタイトルらしくない」ということは間違いだとすると匪賊でない;
$facts$ = fact1: もしもこの天然塩が動力だとしたらこの脂肪分は省エネ効果である fact2: もし仮に「その外来植物は理屈っぽくない」ということは正しいとすると「それは動力だ」ということは成り立つ fact3: もし仮に「その許容度は砲身だけれどダイアリードでない」ということは嘘であるとすれば動力でない fact4: その許容度は人らしいかまたはそれは匪賊であるかもしくはどちらもである fact5: もし仮にあの郵便箱が匪賊でないならその許容度は人らしいかもしくは匪賊でない fact6: 仮にその許容度が省エネ効果でないならばあの脂肪分は匪賊でない fact7: もしあの郵便箱が匪賊でないとしたらその許容度は人らしいかまたは匪賊だ fact8: もしもこのロワールワインが漏れ無いならあの郵便箱は漏れ無い fact9: このロワールワインは動力でない fact10: もしなんらかの物が匪賊でないとすればそれは省エネ効果でない fact11: もしもその許容度がタイトルらしくないとすればあの天然塩は人らしいかそれはタイトルらしくないかまたは両方ともだ fact12: 仮にその許容度が人らしいかそれが匪賊でないかまたは両方であるならばあの天然塩はタイトルらしくない fact13: もし仮に何らかの物は匪賊であるならそれは漏れ無いということはない fact14: 仮にその許容度が匪賊であるということはないならばこの天然塩はタイトルらしいということはない fact15: このロワールワインは漏れ無い fact16: もし「とある物は匪賊だがしかしタイトルらしくない」ということは確かでないならばそれは匪賊だということはない fact17: 仮にその許容度がタイトルらしいとしたらこの天然塩は匪賊だ fact18: もし仮にその許容度が動力でないとするとそれは漏れ無いしそれは人らしい fact19: 仮にその許容度が省エネ効果でないとするとこの脂肪分は省エネ効果であるということはない fact20: もし仮に何らかの物がタイトルらしいということはないとすればそれは動力である ; $hypothesis$ = この脂肪分は省エネ効果でない ; $proof$ = 
fact13 -> int1: もしもあの郵便箱が匪賊ならばそれは漏れ無くない; void -> assump1: 以下のように仮定する。あの郵便箱は匪賊だ; int1 & assump1 -> int2: あの郵便箱は漏れ無くない; fact15 & fact8 -> int3: あの郵便箱は漏れ無い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの郵便箱は匪賊でない; int5 & fact5 -> int6: その許容度は人らしいかもしくはそれは匪賊でない; int6 & fact12 -> int7: この天然塩はタイトルらしくない; fact20 -> int8: もしもこの天然塩がタイトルらしくないならばそれは動力である; int7 & int8 -> int9: この天然塩は動力である; int9 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもこの天然塩が動力だとしたらこの脂肪分は省エネ効果である
事実2: もし仮に「その外来植物は理屈っぽくない」ということは正しいとすると「それは動力だ」ということは成り立つ
事実3: もし仮に「その許容度は砲身だけれどダイアリードでない」ということは嘘であるとすれば動力でない
事実4: その許容度は人らしいかまたはそれは匪賊であるかもしくはどちらもである
事実5: もし仮にあの郵便箱が匪賊でないならその許容度は人らしいかもしくは匪賊でない
事実6: 仮にその許容度が省エネ効果でないならばあの脂肪分は匪賊でない
事実7: もしあの郵便箱が匪賊でないとしたらその許容度は人らしいかまたは匪賊だ
事実8: もしもこのロワールワインが漏れ無いならあの郵便箱は漏れ無い
事実9: このロワールワインは動力でない
事実10: もしなんらかの物が匪賊でないとすればそれは省エネ効果でない
事実11: もしもその許容度がタイトルらしくないとすればあの天然塩は人らしいかそれはタイトルらしくないかまたは両方ともだ
事実12: 仮にその許容度が人らしいかそれが匪賊でないかまたは両方であるならばあの天然塩はタイトルらしくない
事実13: もし仮に何らかの物は匪賊であるならそれは漏れ無いということはない
事実14: 仮にその許容度が匪賊であるということはないならばこの天然塩はタイトルらしいということはない
事実15: このロワールワインは漏れ無い
事実16: もし「とある物は匪賊だがしかしタイトルらしくない」ということは確かでないならばそれは匪賊だということはない
事実17: 仮にその許容度がタイトルらしいとしたらこの天然塩は匪賊だ
事実18: もし仮にその許容度が動力でないとするとそれは漏れ無いしそれは人らしい
事実19: 仮にその許容度が省エネ効果でないとするとこの脂肪分は省エネ効果であるということはない
事実20: もし仮に何らかの物がタイトルらしいということはないとすればそれは動力である

仮説: この脂肪分は省エネ効果でない
1. 事実13から、推論1: "もしもあの郵便箱が匪賊ならばそれは漏れ無くない"が導かれる
2. 仮定1: 以下のように仮定する。あの郵便箱は匪賊だ
3. 推論1と仮定1から、推論2: "あの郵便箱は漏れ無くない"が導かれる
4. 事実15と事実8から、推論3: "あの郵便箱は漏れ無い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの郵便箱は匪賊でない"が導かれる
7. 推論5と事実5から、推論6: "その許容度は人らしいかもしくはそれは匪賊でない"が導かれる
8. 推論6と事実12から、推論7: "この天然塩はタイトルらしくない"が導かれる
9. 事実20から、推論8: "もしもこの天然塩がタイトルらしくないならばそれは動力である"が導かれる
10. 推論7と推論8から、推論9: "この天然塩は動力である"が導かれる
11. 推論9と事実1から、仮説が否定される

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