この全方向は訝しくてかつそれは覆い隠す
fact1: もし何かは高所得層でないが気高いなら言い足さない fact2: もし仮になんらかの物が放任するとすれば高所得層であるということはないし更にそれは気高い fact3: もしあるものは言い足さないとすると「それは訝しいしさらに覆い隠す」ということは間違っている fact4: 何かは懸濁すればそれは所在する fact5: もし仮にあの呼吸器系はかさかさすれば「懸濁するということはないが着床する」ということは嘘だ fact6: この圧搾機は訝しい fact7: もし仮にあの呼吸器系が所在すればこの全方向は放任する fact8: この全方向は訝しい fact9: もしも「あの会計係は差別しないがそれはかさかさする」ということは成り立たないならばあの呼吸器系はかさかさする fact10: 仮に「何かは懸濁するということはない一方で着床する」ということは嘘だとすればそれは懸濁する fact11: この全方向は覆い隠す fact12: とあるものが言い足すということはないならば訝しいしその上それは覆い隠す
fact8 & fact11 -> hypothesis;
fact8 & fact11 -> hypothesis;
「あの頭首は訝しい」ということは本当である
fact13 -> int1: もし仮にあの頭首が言い足さないならそれは訝しいし覆い隠す;
$facts$ = fact1: もし何かは高所得層でないが気高いなら言い足さない fact2: もし仮になんらかの物が放任するとすれば高所得層であるということはないし更にそれは気高い fact3: もしあるものは言い足さないとすると「それは訝しいしさらに覆い隠す」ということは間違っている fact4: 何かは懸濁すればそれは所在する fact5: もし仮にあの呼吸器系はかさかさすれば「懸濁するということはないが着床する」ということは嘘だ fact6: この圧搾機は訝しい fact7: もし仮にあの呼吸器系が所在すればこの全方向は放任する fact8: この全方向は訝しい fact9: もしも「あの会計係は差別しないがそれはかさかさする」ということは成り立たないならばあの呼吸器系はかさかさする fact10: 仮に「何かは懸濁するということはない一方で着床する」ということは嘘だとすればそれは懸濁する fact11: この全方向は覆い隠す fact12: とあるものが言い足すということはないならば訝しいしその上それは覆い隠す ; $hypothesis$ = この全方向は訝しくてかつそれは覆い隠す ; $proof$ = 
fact8 & fact11 -> hypothesis; __PROVED__
事実1: もし何かは高所得層でないが気高いなら言い足さない
事実2: もし仮になんらかの物が放任するとすれば高所得層であるということはないし更にそれは気高い
事実3: もしあるものは言い足さないとすると「それは訝しいしさらに覆い隠す」ということは間違っている
事実4: 何かは懸濁すればそれは所在する
事実5: もし仮にあの呼吸器系はかさかさすれば「懸濁するということはないが着床する」ということは嘘だ
事実6: この圧搾機は訝しい
事実7: もし仮にあの呼吸器系が所在すればこの全方向は放任する
事実8: この全方向は訝しい
事実9: もしも「あの会計係は差別しないがそれはかさかさする」ということは成り立たないならばあの呼吸器系はかさかさする
事実10: 仮に「何かは懸濁するということはない一方で着床する」ということは嘘だとすればそれは懸濁する
事実11: この全方向は覆い隠す
事実12: とあるものが言い足すということはないならば訝しいしその上それは覆い隠す

仮説: この全方向は訝しくてかつそれは覆い隠す
1. 事実8と事実11から、仮説が導かれる

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