「あのＣＰＵソケットは落ち易いか複製出来るかあるいは両方ともだ」ということは成り立たない
fact1: もしこの言語現象が塗り分ければあの要件適合性は塗り分けない fact2: この離婚騒ぎは複製出来ない fact3: 「その夜景鑑賞は接続方式でない一方で冷たい」ということは誤っている fact4: 仮に何らかの物は塗り分けるとすると「得難しということはないけれど推断する」ということは成り立たない fact5: もし「この百万語は四半期開示であるしその上それは優しい」ということは成り立たないならそれはアフリカ系アメリカ人でない fact6: もしもあのＣＰＵソケットは得難しないなら「それは落ち易いか複製出来るかあるいは両方である」ということは嘘だ fact7: あの要件適合性が得難しならあのＣＰＵソケットは落ち易い fact8: 「「接続方式でないが冷たい」ということは間違っている」物があるならこの百万語は冷たくない fact9: この初期イスラエルが塗り分けるならこの言語現象は塗り分ける fact10: とある物が塗り分けないならそれは推断するし加えて得難し fact11: もしもあのＣＰＵソケットは御辛いということはないとすると「それは塗り分ける」ということは正しい fact12: もし仮にこの百万語は冷たくないなら「四半期開示で優しい」ということは間違いだ fact13: 「御辛い物は塗り分ける」ということは確かだ fact14: あのＣＰＵソケットは得難しない
fact6 & fact14 -> hypothesis;
fact6 & fact14 -> hypothesis;
あのカレッジは落ち易くない
fact16 -> int1: もし仮にあのＣＰＵソケットは塗り分けるなら「得難しということはない一方で推断する」ということは間違いである;
$facts$ = fact1: もしこの言語現象が塗り分ければあの要件適合性は塗り分けない fact2: この離婚騒ぎは複製出来ない fact3: 「その夜景鑑賞は接続方式でない一方で冷たい」ということは誤っている fact4: 仮に何らかの物は塗り分けるとすると「得難しということはないけれど推断する」ということは成り立たない fact5: もし「この百万語は四半期開示であるしその上それは優しい」ということは成り立たないならそれはアフリカ系アメリカ人でない fact6: もしもあのＣＰＵソケットは得難しないなら「それは落ち易いか複製出来るかあるいは両方である」ということは嘘だ fact7: あの要件適合性が得難しならあのＣＰＵソケットは落ち易い fact8: 「「接続方式でないが冷たい」ということは間違っている」物があるならこの百万語は冷たくない fact9: この初期イスラエルが塗り分けるならこの言語現象は塗り分ける fact10: とある物が塗り分けないならそれは推断するし加えて得難し fact11: もしもあのＣＰＵソケットは御辛いということはないとすると「それは塗り分ける」ということは正しい fact12: もし仮にこの百万語は冷たくないなら「四半期開示で優しい」ということは間違いだ fact13: 「御辛い物は塗り分ける」ということは確かだ fact14: あのＣＰＵソケットは得難しない ; $hypothesis$ = 「あのＣＰＵソケットは落ち易いか複製出来るかあるいは両方ともだ」ということは成り立たない ; $proof$ = 
fact6 & fact14 -> hypothesis; __PROVED__
事実1: もしこの言語現象が塗り分ければあの要件適合性は塗り分けない
事実2: この離婚騒ぎは複製出来ない
事実3: 「その夜景鑑賞は接続方式でない一方で冷たい」ということは誤っている
事実4: 仮に何らかの物は塗り分けるとすると「得難しということはないけれど推断する」ということは成り立たない
事実5: もし「この百万語は四半期開示であるしその上それは優しい」ということは成り立たないならそれはアフリカ系アメリカ人でない
事実6: もしもあのＣＰＵソケットは得難しないなら「それは落ち易いか複製出来るかあるいは両方である」ということは嘘だ
事実7: あの要件適合性が得難しならあのＣＰＵソケットは落ち易い
事実8: 「「接続方式でないが冷たい」ということは間違っている」物があるならこの百万語は冷たくない
事実9: この初期イスラエルが塗り分けるならこの言語現象は塗り分ける
事実10: とある物が塗り分けないならそれは推断するし加えて得難し
事実11: もしもあのＣＰＵソケットは御辛いということはないとすると「それは塗り分ける」ということは正しい
事実12: もし仮にこの百万語は冷たくないなら「四半期開示で優しい」ということは間違いだ
事実13: 「御辛い物は塗り分ける」ということは確かだ
事実14: あのＣＰＵソケットは得難しない

仮説: 「あのＣＰＵソケットは落ち易いか複製出来るかあるいは両方ともだ」ということは成り立たない
1. 事実6と事実14から、仮説が導かれる

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