このスタントは依存しない
fact1: もし「「生じ易い」ということは真実な」物があるならこの蚕は漉すし不動産損益計算書である fact2: このスタントは青白い fact3: 仮に罪深いものが柔らかいとすればそれは依存しない fact4: このスタントは柔らかい fact5: このスタントは罪深い fact6: 仮に犯罪歴が監視し易いなら発揮し易くない fact7: この中優先度は生じ易い fact8: 仮にこのスタントは不動産損益計算書でないとしたら漉すし依存する fact9: 「あの修得定は柔らかい」ということは成り立つ fact10: もし仮にある物が漉せば柔らかい fact11: その当該都道府県知事は柔らかい fact12: このスタントは障害理解教育である
fact5 & fact4 -> int1: このスタントは罪深くてまた柔らかい; fact3 -> int2: もし仮にこのスタントは罪深くてまた柔らかいとすれば依存しない; int1 & int2 -> hypothesis;
「このスタントは依存する」ということは事実である
fact15 -> int3: 「この蚕は漉す」ということは確かであるならそれは柔らかい; fact13 -> int4: あるものは生じ易い; int4 & fact14 -> int5: この蚕は漉すしかつ不動産損益計算書である; int5 -> int6: この蚕は漉す; int3 & int6 -> int7: この蚕は柔らかい;
$facts$ = fact1: もし「「生じ易い」ということは真実な」物があるならこの蚕は漉すし不動産損益計算書である fact2: このスタントは青白い fact3: 仮に罪深いものが柔らかいとすればそれは依存しない fact4: このスタントは柔らかい fact5: このスタントは罪深い fact6: 仮に犯罪歴が監視し易いなら発揮し易くない fact7: この中優先度は生じ易い fact8: 仮にこのスタントは不動産損益計算書でないとしたら漉すし依存する fact9: 「あの修得定は柔らかい」ということは成り立つ fact10: もし仮にある物が漉せば柔らかい fact11: その当該都道府県知事は柔らかい fact12: このスタントは障害理解教育である ; $hypothesis$ = このスタントは依存しない ; $proof$ = 
fact5 & fact4 -> int1: このスタントは罪深くてまた柔らかい; fact3 -> int2: もし仮にこのスタントは罪深くてまた柔らかいとすれば依存しない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし「「生じ易い」ということは真実な」物があるならこの蚕は漉すし不動産損益計算書である
事実2: このスタントは青白い
事実3: 仮に罪深いものが柔らかいとすればそれは依存しない
事実4: このスタントは柔らかい
事実5: このスタントは罪深い
事実6: 仮に犯罪歴が監視し易いなら発揮し易くない
事実7: この中優先度は生じ易い
事実8: 仮にこのスタントは不動産損益計算書でないとしたら漉すし依存する
事実9: 「あの修得定は柔らかい」ということは成り立つ
事実10: もし仮にある物が漉せば柔らかい
事実11: その当該都道府県知事は柔らかい
事実12: このスタントは障害理解教育である

仮説: このスタントは依存しない
1. 事実5と事実4から、推論1: "このスタントは罪深くてまた柔らかい"が導かれる
2. 事実3から、推論2: "もし仮にこのスタントは罪深くてまた柔らかいとすれば依存しない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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