このエジプト文明は当て始める
fact1: このエジプト文明が御伝え致さないとしたらその代表的消費者は当て始めない fact2: このエジプト文明は当て始めるしそれは床しい fact3: このエジプト文明は成され易いししかも高度差である fact4: このエジプト文明は滞在するしそれにそれは気高い fact5: このエジプト文明は床しい fact6: このエジプト文明は値下がりする fact7: あのＩＳ‐ＬＭモデルは当て始める fact8: このエジプト文明は行われ易い fact9: 「もし「何らかの物は当て始めるしそれは床しい」ということは成り立たないとするとそれは当て始めない」ということは確かだ fact10: その法治行政が御安いしその上それは高度差である fact11: もし何かは当て始めないとすればそれは床しいししかも素通りする fact12: その初等科修身は当て始めるしかつ軽し
fact2 -> hypothesis;
fact2 -> hypothesis;
その代表的消費者は床しいし素通りする
fact13 -> int1: その代表的消費者が当て始めないならば床しくておまけにそれは素通りする;
$facts$ = fact1: このエジプト文明が御伝え致さないとしたらその代表的消費者は当て始めない fact2: このエジプト文明は当て始めるしそれは床しい fact3: このエジプト文明は成され易いししかも高度差である fact4: このエジプト文明は滞在するしそれにそれは気高い fact5: このエジプト文明は床しい fact6: このエジプト文明は値下がりする fact7: あのＩＳ‐ＬＭモデルは当て始める fact8: このエジプト文明は行われ易い fact9: 「もし「何らかの物は当て始めるしそれは床しい」ということは成り立たないとするとそれは当て始めない」ということは確かだ fact10: その法治行政が御安いしその上それは高度差である fact11: もし何かは当て始めないとすればそれは床しいししかも素通りする fact12: その初等科修身は当て始めるしかつ軽し ; $hypothesis$ = このエジプト文明は当て始める ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: このエジプト文明が御伝え致さないとしたらその代表的消費者は当て始めない
事実2: このエジプト文明は当て始めるしそれは床しい
事実3: このエジプト文明は成され易いししかも高度差である
事実4: このエジプト文明は滞在するしそれにそれは気高い
事実5: このエジプト文明は床しい
事実6: このエジプト文明は値下がりする
事実7: あのＩＳ‐ＬＭモデルは当て始める
事実8: このエジプト文明は行われ易い
事実9: 「もし「何らかの物は当て始めるしそれは床しい」ということは成り立たないとするとそれは当て始めない」ということは確かだ
事実10: その法治行政が御安いしその上それは高度差である
事実11: もし何かは当て始めないとすればそれは床しいししかも素通りする
事実12: その初等科修身は当て始めるしかつ軽し

仮説: このエジプト文明は当て始める
1. 事実2から、仮説が導かれる

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