この起き上がりは来れるということはない一方で俄雨である
fact1: あの紳士は乗り入れる fact2: もしも詳しいものが乗り入れるとすればその学習場面は人材斡旋会社でない fact3: 「この起き上がりは俄雨だ」ということは事実である fact4: もしもその学習場面が掴み難いならばこの起き上がりは来れないけれど俄雨である fact5: もしなにがしかのものは由々しくないかあるいは使わすかまたは両方ともだとすれば掴み難い fact6: 決め難くない物は由々しいかまたは使わすかもしくは両方だ fact7: もし仮にとあるものが決め難いということはないとしたらそれは由々しくないかそれは使わす fact8: あの紳士は詳しい fact9: もしあるものが人材斡旋会社だということはないとすれば決め難くない fact10: 人材斡旋会社が由々しいとすればその学習場面は来れない fact11: もしその学習場面が由々しいということはないならばそれは掴み難い
fact8 & fact1 -> int1: あの紳士は詳しくてまた乗り入れる; int1 -> int2: 「詳しいしその上乗り入れる」ものはある; int2 & fact2 -> int3: 「その学習場面は人材斡旋会社でない」ということは成り立つ; fact9 -> int4: 仮にその学習場面が人材斡旋会社でないとすれば決め難くない; int3 & int4 -> int5: その学習場面は決め難くない; fact7 -> int6: その学習場面が決め難くないとすればそれは由々しくないかもしくは使わすかまたは両方である; int5 & int6 -> int7: 「その学習場面は由々しくないかあるいは使わすかどちらもだ」ということは真実だ; fact5 -> int8: 「もし仮にその学習場面が由々しくないかまたは使わすかもしくは両方ともであるならその学習場面は掴み難い」ということは事実だ; int7 & int8 -> int9: その学習場面は掴み難い; int9 & fact4 -> hypothesis;
$facts$ = fact1: あの紳士は乗り入れる fact2: もしも詳しいものが乗り入れるとすればその学習場面は人材斡旋会社でない fact3: 「この起き上がりは俄雨だ」ということは事実である fact4: もしもその学習場面が掴み難いならばこの起き上がりは来れないけれど俄雨である fact5: もしなにがしかのものは由々しくないかあるいは使わすかまたは両方ともだとすれば掴み難い fact6: 決め難くない物は由々しいかまたは使わすかもしくは両方だ fact7: もし仮にとあるものが決め難いということはないとしたらそれは由々しくないかそれは使わす fact8: あの紳士は詳しい fact9: もしあるものが人材斡旋会社だということはないとすれば決め難くない fact10: 人材斡旋会社が由々しいとすればその学習場面は来れない fact11: もしその学習場面が由々しいということはないならばそれは掴み難い ; $hypothesis$ = この起き上がりは来れるということはない一方で俄雨である ; $proof$ = 
fact8 & fact1 -> int1: あの紳士は詳しくてまた乗り入れる; int1 -> int2: 「詳しいしその上乗り入れる」ものはある; int2 & fact2 -> int3: 「その学習場面は人材斡旋会社でない」ということは成り立つ; fact9 -> int4: 仮にその学習場面が人材斡旋会社でないとすれば決め難くない; int3 & int4 -> int5: その学習場面は決め難くない; fact7 -> int6: その学習場面が決め難くないとすればそれは由々しくないかもしくは使わすかまたは両方である; int5 & int6 -> int7: 「その学習場面は由々しくないかあるいは使わすかどちらもだ」ということは真実だ; fact5 -> int8: 「もし仮にその学習場面が由々しくないかまたは使わすかもしくは両方ともであるならその学習場面は掴み難い」ということは事実だ; int7 & int8 -> int9: その学習場面は掴み難い; int9 & fact4 -> hypothesis; __PROVED__
事実1: あの紳士は乗り入れる
事実2: もしも詳しいものが乗り入れるとすればその学習場面は人材斡旋会社でない
事実3: 「この起き上がりは俄雨だ」ということは事実である
事実4: もしもその学習場面が掴み難いならばこの起き上がりは来れないけれど俄雨である
事実5: もしなにがしかのものは由々しくないかあるいは使わすかまたは両方ともだとすれば掴み難い
事実6: 決め難くない物は由々しいかまたは使わすかもしくは両方だ
事実7: もし仮にとあるものが決め難いということはないとしたらそれは由々しくないかそれは使わす
事実8: あの紳士は詳しい
事実9: もしあるものが人材斡旋会社だということはないとすれば決め難くない
事実10: 人材斡旋会社が由々しいとすればその学習場面は来れない
事実11: もしその学習場面が由々しいということはないならばそれは掴み難い

仮説: この起き上がりは来れるということはない一方で俄雨である
1. 事実8と事実1から、推論1: "あの紳士は詳しくてまた乗り入れる"が導かれる
2. 推論1から、推論2: "「詳しいしその上乗り入れる」ものはある"が導かれる
3. 推論2と事実2から、推論3: "「その学習場面は人材斡旋会社でない」ということは成り立つ"が導かれる
4. 事実9から、推論4: "仮にその学習場面が人材斡旋会社でないとすれば決め難くない"が導かれる
5. 推論3と推論4から、推論5: "その学習場面は決め難くない"が導かれる
6. 事実7から、推論6: "その学習場面が決め難くないとすればそれは由々しくないかもしくは使わすかまたは両方である"が導かれる
7. 推論5と推論6から、推論7: "「その学習場面は由々しくないかあるいは使わすかどちらもだ」ということは真実だ"が導かれる
8. 事実5から、推論8: "「もし仮にその学習場面が由々しくないかまたは使わすかもしくは両方ともであるならその学習場面は掴み難い」ということは事実だ"が導かれる
9. 推論7と推論8から、推論9: "その学習場面は掴み難い"が導かれる
10. 推論9と事実4から、仮説が導かれる

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