この改良範囲はホエー抜きだ
fact1: 仮に「何らかの物は分離し易いかそれは染み込み易いかまたはどちらもだ」ということは成り立たないならそれは気恥ずかしくない fact2: 仮にその中国軍機が把握し辛いとしたらこの外来入浴は追っ付かないししかも注ぎ口でない fact3: その各家庭は餓鬼っぽい fact4: もしなんらかのものは報告例であるかもしくは柔いということはないとするとそれは熱回収する fact5: 「面目無くない物はホエー抜きでない」ということは成り立つ fact6: 何らかのものが把握し辛いか訪問しないなら半月切りである fact7: この改良範囲は与え難いか餓鬼っぽくないか両方ともである fact8: もしもとあるものは注ぎ口だということはないとすると「「それは分離し易いか染み込み易い」ということは本当だ」ということは確かでない fact9: 「餓鬼っぽくないものは気恥ずかしい」ということは成り立つ fact10: 「この改良範囲は餓鬼っぽくない」ということは正しいとするとそれは気恥ずかしい fact11: 気恥ずかしいものはホエー抜きである fact12: もし仮にこの改良範囲が収益増であるかそれは面目無くないかもしくはどちらもだとするとそれは熱回収する fact13: もしこの活動範囲が唾棄すとすれば餓鬼っぽい fact14: この外来入浴が気恥ずかしくないとすればあの改良範囲は面目無くないし加えて餓鬼っぽくない fact15: この改良範囲は面目無い fact16: 面目無いかもしくは餓鬼っぽくないかあるいは両方である物は気恥ずかしい fact17: この改良範囲は面目無いか餓鬼っぽいかもしくはどちらもだ fact18: もし「その中国軍機は否定しなくて取得し易いということはない」ということは成り立たないとすると把握し辛い
fact15 -> int1: この改良範囲は面目無いかまたは餓鬼っぽいということはないかまたは両方ともだ; fact16 -> int2: もし仮にこの改良範囲は面目無いかまたは餓鬼っぽくないとすると気恥ずかしい; int1 & int2 -> int3: この改良範囲は気恥ずかしい; fact11 -> int4: もしもこの改良範囲は気恥ずかしいならば「それはホエー抜きだ」ということは真実である; int3 & int4 -> hypothesis;
fact15 -> int1: ({A}{a} v ¬{B}{a}); fact16 -> int2: ({A}{a} v ¬{B}{a}) -> {C}{a}; int1 & int2 -> int3: {C}{a}; fact11 -> int4: {C}{a} -> {D}{a}; int3 & int4 -> hypothesis;
この改良範囲はホエー抜きでない
fact20 -> int5: もしも「この改良範囲は面目無くない」ということは成り立てば「ホエー抜きでない」ということは成り立つ; fact23 -> int6: もし仮に「この外来入浴は分離し易いかもしくは染み込み易いかもしくは両方だ」ということは間違いであるとすると気恥ずかしくない; fact19 -> int7: もしこの外来入浴は注ぎ口だということはないとしたら「それは分離し易いかまたは染み込み易い」ということは間違いだ;
$facts$ = fact1: 仮に「何らかの物は分離し易いかそれは染み込み易いかまたはどちらもだ」ということは成り立たないならそれは気恥ずかしくない fact2: 仮にその中国軍機が把握し辛いとしたらこの外来入浴は追っ付かないししかも注ぎ口でない fact3: その各家庭は餓鬼っぽい fact4: もしなんらかのものは報告例であるかもしくは柔いということはないとするとそれは熱回収する fact5: 「面目無くない物はホエー抜きでない」ということは成り立つ fact6: 何らかのものが把握し辛いか訪問しないなら半月切りである fact7: この改良範囲は与え難いか餓鬼っぽくないか両方ともである fact8: もしもとあるものは注ぎ口だということはないとすると「「それは分離し易いか染み込み易い」ということは本当だ」ということは確かでない fact9: 「餓鬼っぽくないものは気恥ずかしい」ということは成り立つ fact10: 「この改良範囲は餓鬼っぽくない」ということは正しいとするとそれは気恥ずかしい fact11: 気恥ずかしいものはホエー抜きである fact12: もし仮にこの改良範囲が収益増であるかそれは面目無くないかもしくはどちらもだとするとそれは熱回収する fact13: もしこの活動範囲が唾棄すとすれば餓鬼っぽい fact14: この外来入浴が気恥ずかしくないとすればあの改良範囲は面目無くないし加えて餓鬼っぽくない fact15: この改良範囲は面目無い fact16: 面目無いかもしくは餓鬼っぽくないかあるいは両方である物は気恥ずかしい fact17: この改良範囲は面目無いか餓鬼っぽいかもしくはどちらもだ fact18: もし「その中国軍機は否定しなくて取得し易いということはない」ということは成り立たないとすると把握し辛い ; $hypothesis$ = この改良範囲はホエー抜きだ ; $proof$ = 
fact15 -> int1: この改良範囲は面目無いかまたは餓鬼っぽいということはないかまたは両方ともだ; fact16 -> int2: もし仮にこの改良範囲は面目無いかまたは餓鬼っぽくないとすると気恥ずかしい; int1 & int2 -> int3: この改良範囲は気恥ずかしい; fact11 -> int4: もしもこの改良範囲は気恥ずかしいならば「それはホエー抜きだ」ということは真実である; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮に「何らかの物は分離し易いかそれは染み込み易いかまたはどちらもだ」ということは成り立たないならそれは気恥ずかしくない
事実2: 仮にその中国軍機が把握し辛いとしたらこの外来入浴は追っ付かないししかも注ぎ口でない
事実3: その各家庭は餓鬼っぽい
事実4: もしなんらかのものは報告例であるかもしくは柔いということはないとするとそれは熱回収する
事実5: 「面目無くない物はホエー抜きでない」ということは成り立つ
事実6: 何らかのものが把握し辛いか訪問しないなら半月切りである
事実7: この改良範囲は与え難いか餓鬼っぽくないか両方ともである
事実8: もしもとあるものは注ぎ口だということはないとすると「「それは分離し易いか染み込み易い」ということは本当だ」ということは確かでない
事実9: 「餓鬼っぽくないものは気恥ずかしい」ということは成り立つ
事実10: 「この改良範囲は餓鬼っぽくない」ということは正しいとするとそれは気恥ずかしい
事実11: 気恥ずかしいものはホエー抜きである
事実12: もし仮にこの改良範囲が収益増であるかそれは面目無くないかもしくはどちらもだとするとそれは熱回収する
事実13: もしこの活動範囲が唾棄すとすれば餓鬼っぽい
事実14: この外来入浴が気恥ずかしくないとすればあの改良範囲は面目無くないし加えて餓鬼っぽくない
事実15: この改良範囲は面目無い
事実16: 面目無いかもしくは餓鬼っぽくないかあるいは両方である物は気恥ずかしい
事実17: この改良範囲は面目無いか餓鬼っぽいかもしくはどちらもだ
事実18: もし「その中国軍機は否定しなくて取得し易いということはない」ということは成り立たないとすると把握し辛い

仮説: この改良範囲はホエー抜きだ
1. 事実15から、推論1: "この改良範囲は面目無いかまたは餓鬼っぽいということはないかまたは両方ともだ"が導かれる
2. 事実16から、推論2: "もし仮にこの改良範囲は面目無いかまたは餓鬼っぽくないとすると気恥ずかしい"が導かれる
3. 推論1と推論2から、推論3: "この改良範囲は気恥ずかしい"が導かれる
4. 事実11から、推論4: "もしもこの改良範囲は気恥ずかしいならば「それはホエー抜きだ」ということは真実である"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。