あの白は塩っ辛くない
fact1: もし仮にこの粗型が比肩しないならあの白は去るということはないが塩っ辛い fact2: 仮にあの山国は沈殿するということはないなら「あの手形貸し付けは予約不可である」ということは成り立つ fact3: あの手形貸し付けが予約不可であるならこの粗型は比肩しない fact4: もし「あの山国は三ＤＥＳだ」ということは確かだとしたらあの手形貸し付けは予約不可だ fact5: あの白は去らない fact6: 「もし仮にあの山国が予約不可でないとすればあの手形貸し付けは沈殿する」ということは本当である fact7: あの白は臭くない fact8: あの手形貸し付けが塩っ辛くないかもしくはそれは去るかまたは両方ともだとすれば「あの山国は比肩しない」ということは事実である fact9: もし仮にあの山国が三ＤＥＳでなくてそれに沈殿しないならあの白は塩っ辛くない fact10: もしもあの山国が比肩しないとすればそれは予約不可だし沈殿する fact11: 仮にあの手形貸し付けが納得し易いならそれは滑り易くなくておまけに微笑する fact12: もしこの粗型が予約不可でないとしたらあの白は比肩しないけれど去る fact13: 「仮にこの粗型が比肩しないとするとあの白は去らない」ということは本当だ fact14: あの手形貸し付けは納得し易い fact15: あの山国は比肩するか沈殿しない fact16: 「滑り易くない」ものはあるとすれば「この粗型は比肩するしまたそれは去る」ということは成り立たない fact17: もし仮にあの手形貸し付けが塩っ辛くないとするとあの白は予約不可だ fact18: あの山国は三ＤＥＳであるかあるいは沈殿しない
fact18 & fact4 & fact2 -> int1: あの手形貸し付けは予約不可だ; int1 & fact3 -> int2: この粗型は比肩しない; int2 & fact1 -> int3: あの白は去るということはないけどそれは塩っ辛い; int3 -> hypothesis;
この粗型は三ＤＥＳでない
$facts$ = fact1: もし仮にこの粗型が比肩しないならあの白は去るということはないが塩っ辛い fact2: 仮にあの山国は沈殿するということはないなら「あの手形貸し付けは予約不可である」ということは成り立つ fact3: あの手形貸し付けが予約不可であるならこの粗型は比肩しない fact4: もし「あの山国は三ＤＥＳだ」ということは確かだとしたらあの手形貸し付けは予約不可だ fact5: あの白は去らない fact6: 「もし仮にあの山国が予約不可でないとすればあの手形貸し付けは沈殿する」ということは本当である fact7: あの白は臭くない fact8: あの手形貸し付けが塩っ辛くないかもしくはそれは去るかまたは両方ともだとすれば「あの山国は比肩しない」ということは事実である fact9: もし仮にあの山国が三ＤＥＳでなくてそれに沈殿しないならあの白は塩っ辛くない fact10: もしもあの山国が比肩しないとすればそれは予約不可だし沈殿する fact11: 仮にあの手形貸し付けが納得し易いならそれは滑り易くなくておまけに微笑する fact12: もしこの粗型が予約不可でないとしたらあの白は比肩しないけれど去る fact13: 「仮にこの粗型が比肩しないとするとあの白は去らない」ということは本当だ fact14: あの手形貸し付けは納得し易い fact15: あの山国は比肩するか沈殿しない fact16: 「滑り易くない」ものはあるとすれば「この粗型は比肩するしまたそれは去る」ということは成り立たない fact17: もし仮にあの手形貸し付けが塩っ辛くないとするとあの白は予約不可だ fact18: あの山国は三ＤＥＳであるかあるいは沈殿しない ; $hypothesis$ = あの白は塩っ辛くない ; $proof$ = 
fact18 & fact4 & fact2 -> int1: あの手形貸し付けは予約不可だ; int1 & fact3 -> int2: この粗型は比肩しない; int2 & fact1 -> int3: あの白は去るということはないけどそれは塩っ辛い; int3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの粗型が比肩しないならあの白は去るということはないが塩っ辛い
事実2: 仮にあの山国は沈殿するということはないなら「あの手形貸し付けは予約不可である」ということは成り立つ
事実3: あの手形貸し付けが予約不可であるならこの粗型は比肩しない
事実4: もし「あの山国は三ＤＥＳだ」ということは確かだとしたらあの手形貸し付けは予約不可だ
事実5: あの白は去らない
事実6: 「もし仮にあの山国が予約不可でないとすればあの手形貸し付けは沈殿する」ということは本当である
事実7: あの白は臭くない
事実8: あの手形貸し付けが塩っ辛くないかもしくはそれは去るかまたは両方ともだとすれば「あの山国は比肩しない」ということは事実である
事実9: もし仮にあの山国が三ＤＥＳでなくてそれに沈殿しないならあの白は塩っ辛くない
事実10: もしもあの山国が比肩しないとすればそれは予約不可だし沈殿する
事実11: 仮にあの手形貸し付けが納得し易いならそれは滑り易くなくておまけに微笑する
事実12: もしこの粗型が予約不可でないとしたらあの白は比肩しないけれど去る
事実13: 「仮にこの粗型が比肩しないとするとあの白は去らない」ということは本当だ
事実14: あの手形貸し付けは納得し易い
事実15: あの山国は比肩するか沈殿しない
事実16: 「滑り易くない」ものはあるとすれば「この粗型は比肩するしまたそれは去る」ということは成り立たない
事実17: もし仮にあの手形貸し付けが塩っ辛くないとするとあの白は予約不可だ
事実18: あの山国は三ＤＥＳであるかあるいは沈殿しない

仮説: あの白は塩っ辛くない
1. 事実18と事実4と事実2から、推論1: "あの手形貸し付けは予約不可だ"が導かれる
2. 推論1と事実3から、推論2: "この粗型は比肩しない"が導かれる
3. 推論2と事実1から、推論3: "あの白は去るということはないけどそれは塩っ辛い"が導かれる
4. 推論3から、仮説が否定される

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