この極超短波は冷え冷えしない
fact1: この極超短波は参加す fact2: 現われ易いということはない物は製品化であるかまたは軽いかあるいはどちらもである fact3: この画が製品化であるとすればあの極超短波は製品化である fact4: もしこの画が歯切れだとするとこの極超短波は冷え冷えしない fact5: その級友は冷え冷えしない fact6: この極超短波は邪魔臭い fact7: 仮に「ある物は歯切れだ」ということは本当だとしたら「それは冷え冷えする」ということは成り立つ fact8: もしなにがしかの物は取り上げるとすると「その蟠りは恐懼しなくてその上和らげない」ということは間違っている fact9: この画は冷え冷えする fact10: この極超短波は歯切れだということはない fact11: そのジェット戦闘機は冷え冷えしない fact12: この武家屋敷が製品化であるとすればあの画は製品化である fact13: この極超短波は蹴っ飛ばさない fact14: このレシプロシティは歯切れでない fact15: 仮に「何らかのものは恐懼しないしそれは和らげない」ということは誤りだとしたらそれは現われ易くない fact16: もしなんらかのものは製品化であるとすれば「それは歯切れだ」ということは事実である fact17: この十歳未満は取り上げる fact18: この画は生成し易い fact19: その全労働日は歯切れである fact20: この極超短波は歯切れであるならば「この画は冷え冷えしない」ということは確かだ fact21: この画は歯切れである fact22: あの居住機能は歯切れでない
fact4 & fact21 -> hypothesis;
fact4 & fact21 -> hypothesis;
この極超短波は冷え冷えする
fact30 -> int1: もし仮にこの極超短波が歯切れなら冷え冷えする; fact29 -> int2: 仮にこの極超短波が製品化だとしたら歯切れだ; fact24 -> int3: もしその蟠りは現われ易くないならば「それは製品化であるか軽いかあるいは両方だ」ということは成り立つ; fact27 -> int4: もし仮に「その蟠りは恐懼しないし和らげるということはない」ということは嘘ならばそれは現われ易くない; fact28 -> int5: 「とあるものは取り上げる」ということは確かである; int5 & fact23 -> int6: 「その蟠りは恐懼しなくてそれは和らげない」ということは誤りだ; int4 & int6 -> int7: その蟠りは現われ易くない; int3 & int7 -> int8: その蟠りは製品化であるかそれは軽いかまたは両方である;
$facts$ = fact1: この極超短波は参加す fact2: 現われ易いということはない物は製品化であるかまたは軽いかあるいはどちらもである fact3: この画が製品化であるとすればあの極超短波は製品化である fact4: もしこの画が歯切れだとするとこの極超短波は冷え冷えしない fact5: その級友は冷え冷えしない fact6: この極超短波は邪魔臭い fact7: 仮に「ある物は歯切れだ」ということは本当だとしたら「それは冷え冷えする」ということは成り立つ fact8: もしなにがしかの物は取り上げるとすると「その蟠りは恐懼しなくてその上和らげない」ということは間違っている fact9: この画は冷え冷えする fact10: この極超短波は歯切れだということはない fact11: そのジェット戦闘機は冷え冷えしない fact12: この武家屋敷が製品化であるとすればあの画は製品化である fact13: この極超短波は蹴っ飛ばさない fact14: このレシプロシティは歯切れでない fact15: 仮に「何らかのものは恐懼しないしそれは和らげない」ということは誤りだとしたらそれは現われ易くない fact16: もしなんらかのものは製品化であるとすれば「それは歯切れだ」ということは事実である fact17: この十歳未満は取り上げる fact18: この画は生成し易い fact19: その全労働日は歯切れである fact20: この極超短波は歯切れであるならば「この画は冷え冷えしない」ということは確かだ fact21: この画は歯切れである fact22: あの居住機能は歯切れでない ; $hypothesis$ = この極超短波は冷え冷えしない ; $proof$ = 
fact4 & fact21 -> hypothesis; __PROVED__
事実1: この極超短波は参加す
事実2: 現われ易いということはない物は製品化であるかまたは軽いかあるいはどちらもである
事実3: この画が製品化であるとすればあの極超短波は製品化である
事実4: もしこの画が歯切れだとするとこの極超短波は冷え冷えしない
事実5: その級友は冷え冷えしない
事実6: この極超短波は邪魔臭い
事実7: 仮に「ある物は歯切れだ」ということは本当だとしたら「それは冷え冷えする」ということは成り立つ
事実8: もしなにがしかの物は取り上げるとすると「その蟠りは恐懼しなくてその上和らげない」ということは間違っている
事実9: この画は冷え冷えする
事実10: この極超短波は歯切れだということはない
事実11: そのジェット戦闘機は冷え冷えしない
事実12: この武家屋敷が製品化であるとすればあの画は製品化である
事実13: この極超短波は蹴っ飛ばさない
事実14: このレシプロシティは歯切れでない
事実15: 仮に「何らかのものは恐懼しないしそれは和らげない」ということは誤りだとしたらそれは現われ易くない
事実16: もしなんらかのものは製品化であるとすれば「それは歯切れだ」ということは事実である
事実17: この十歳未満は取り上げる
事実18: この画は生成し易い
事実19: その全労働日は歯切れである
事実20: この極超短波は歯切れであるならば「この画は冷え冷えしない」ということは確かだ
事実21: この画は歯切れである
事実22: あの居住機能は歯切れでない

仮説: この極超短波は冷え冷えしない
1. 事実4と事実21から、仮説が導かれる

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