あのＳ国は質量Ｍで加えて機首部だ
fact1: 仮になんらかのものが定員でないしさらに各種制度でないとするとそれは働き難くない fact2: このインダストリアルは機首部である fact3: あのＳ国は質量Ｍである fact4: あのＳ国は機首部である fact5: もしなにかは質量Ｍだということはないかまたは働き難いかもしくはどちらもだとすれば機首部である fact6: もし仮にあるものは働き難くないとすると「質量Ｍで機首部だ」ということは成り立たない fact7: もしなにかは測定すということはないとしたらそれは定員でないしさらに各種制度であるということはない fact8: この操舵手は記号化するしかつ機首部である fact9: あのＳ国は姉らしい fact10: その当該事由が各種制度だとしたら質量Ｍでないかあるいはそれは働き難いかどちらもである fact11: あのＳ国はがっつく
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
「その当該事由は機首部である」ということは事実である
fact12 -> int1: もしもその当該事由は質量Ｍだということはないかもしくは働き難いかあるいは両方であるとすれば機首部である;
$facts$ = fact1: 仮になんらかのものが定員でないしさらに各種制度でないとするとそれは働き難くない fact2: このインダストリアルは機首部である fact3: あのＳ国は質量Ｍである fact4: あのＳ国は機首部である fact5: もしなにかは質量Ｍだということはないかまたは働き難いかもしくはどちらもだとすれば機首部である fact6: もし仮にあるものは働き難くないとすると「質量Ｍで機首部だ」ということは成り立たない fact7: もしなにかは測定すということはないとしたらそれは定員でないしさらに各種制度であるということはない fact8: この操舵手は記号化するしかつ機首部である fact9: あのＳ国は姉らしい fact10: その当該事由が各種制度だとしたら質量Ｍでないかあるいはそれは働き難いかどちらもである fact11: あのＳ国はがっつく ; $hypothesis$ = あのＳ国は質量Ｍで加えて機首部だ ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: 仮になんらかのものが定員でないしさらに各種制度でないとするとそれは働き難くない
事実2: このインダストリアルは機首部である
事実3: あのＳ国は質量Ｍである
事実4: あのＳ国は機首部である
事実5: もしなにかは質量Ｍだということはないかまたは働き難いかもしくはどちらもだとすれば機首部である
事実6: もし仮にあるものは働き難くないとすると「質量Ｍで機首部だ」ということは成り立たない
事実7: もしなにかは測定すということはないとしたらそれは定員でないしさらに各種制度であるということはない
事実8: この操舵手は記号化するしかつ機首部である
事実9: あのＳ国は姉らしい
事実10: その当該事由が各種制度だとしたら質量Ｍでないかあるいはそれは働き難いかどちらもである
事実11: あのＳ国はがっつく

仮説: あのＳ国は質量Ｍで加えて機首部だ
1. 事実3と事実4から、仮説が導かれる

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