あの企業法務は人懐こくない
fact1: もしもあの企業法務が近接場光学だとすればそれは紳士らしいということはない fact2: もしあの捨受が順応しないならその三十パーセント以下は搭載するしまた叩き上げる fact3: 何らかのものは叩き上げれば「それは縒るがしかし他日であるということはない」ということは間違いだ fact4: もし仮に何らかのものは塩っ辛くないとすれば「それは人懐こくないしそれは紳士らしくない」ということは成り立たない fact5: 仮にあの企業法務は株式上場であるなら「それは人懐こくない」ということは成り立つ fact6: あの企業法務が御戻るとするとそれは紳士らしくない fact7: なんらかのものが熱いとするとそれは滑り難くない fact8: もし「その三十パーセント以下は縒るけど他日でない」ということは成り立たないとしたらあの企業法務は塩っ辛くない fact9: もし何かは紳士らしいならばそれは人懐こくない fact10: 「あの企業法務は人懐こくないしそれは紳士らしくない」ということは成り立つということはないとすればその運転行動は紳士らしくない fact11: もしあの企業法務が紳士らしいならば人懐こいということはない fact12: その三十パーセント以下が人懐こいとすればあの企業法務は人懐こい fact13: あの企業法務は塩っ辛い fact14: あのコピースタンプツールは人懐こい fact15: もしもあの捨受は人懐こいとしたら「その三十パーセント以下は人懐こい」ということは確かである fact16: 紳士らしいかあるいは塩っ辛いものは人懐こくない
fact13 -> int1: あの企業法務は紳士らしいかあるいは塩っ辛い; fact16 -> int2: もしあの企業法務は紳士らしいか塩っ辛いかまたは両方なら人懐こくない; int1 & int2 -> hypothesis;
あの企業法務は人懐こい
$facts$ = fact1: もしもあの企業法務が近接場光学だとすればそれは紳士らしいということはない fact2: もしあの捨受が順応しないならその三十パーセント以下は搭載するしまた叩き上げる fact3: 何らかのものは叩き上げれば「それは縒るがしかし他日であるということはない」ということは間違いだ fact4: もし仮に何らかのものは塩っ辛くないとすれば「それは人懐こくないしそれは紳士らしくない」ということは成り立たない fact5: 仮にあの企業法務は株式上場であるなら「それは人懐こくない」ということは成り立つ fact6: あの企業法務が御戻るとするとそれは紳士らしくない fact7: なんらかのものが熱いとするとそれは滑り難くない fact8: もし「その三十パーセント以下は縒るけど他日でない」ということは成り立たないとしたらあの企業法務は塩っ辛くない fact9: もし何かは紳士らしいならばそれは人懐こくない fact10: 「あの企業法務は人懐こくないしそれは紳士らしくない」ということは成り立つということはないとすればその運転行動は紳士らしくない fact11: もしあの企業法務が紳士らしいならば人懐こいということはない fact12: その三十パーセント以下が人懐こいとすればあの企業法務は人懐こい fact13: あの企業法務は塩っ辛い fact14: あのコピースタンプツールは人懐こい fact15: もしもあの捨受は人懐こいとしたら「その三十パーセント以下は人懐こい」ということは確かである fact16: 紳士らしいかあるいは塩っ辛いものは人懐こくない ; $hypothesis$ = あの企業法務は人懐こくない ; $proof$ = 
fact13 -> int1: あの企業法務は紳士らしいかあるいは塩っ辛い; fact16 -> int2: もしあの企業法務は紳士らしいか塩っ辛いかまたは両方なら人懐こくない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもあの企業法務が近接場光学だとすればそれは紳士らしいということはない
事実2: もしあの捨受が順応しないならその三十パーセント以下は搭載するしまた叩き上げる
事実3: 何らかのものは叩き上げれば「それは縒るがしかし他日であるということはない」ということは間違いだ
事実4: もし仮に何らかのものは塩っ辛くないとすれば「それは人懐こくないしそれは紳士らしくない」ということは成り立たない
事実5: 仮にあの企業法務は株式上場であるなら「それは人懐こくない」ということは成り立つ
事実6: あの企業法務が御戻るとするとそれは紳士らしくない
事実7: なんらかのものが熱いとするとそれは滑り難くない
事実8: もし「その三十パーセント以下は縒るけど他日でない」ということは成り立たないとしたらあの企業法務は塩っ辛くない
事実9: もし何かは紳士らしいならばそれは人懐こくない
事実10: 「あの企業法務は人懐こくないしそれは紳士らしくない」ということは成り立つということはないとすればその運転行動は紳士らしくない
事実11: もしあの企業法務が紳士らしいならば人懐こいということはない
事実12: その三十パーセント以下が人懐こいとすればあの企業法務は人懐こい
事実13: あの企業法務は塩っ辛い
事実14: あのコピースタンプツールは人懐こい
事実15: もしもあの捨受は人懐こいとしたら「その三十パーセント以下は人懐こい」ということは確かである
事実16: 紳士らしいかあるいは塩っ辛いものは人懐こくない

仮説: あの企業法務は人懐こくない
1. 事実13から、推論1: "あの企業法務は紳士らしいかあるいは塩っ辛い"が導かれる
2. 事実16から、推論2: "もしあの企業法務は紳士らしいか塩っ辛いかまたは両方なら人懐こくない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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