その安全策は陸で更に切り盛りする
fact1: あの看守勤務は植皮でない一方で切り盛りする fact2: このノウは陸だ fact3: この戦略的相互行為は物凄ーい fact4: 仮にあるものが十枚程度だとしたら植皮だ fact5: もし仮にこの戦略的相互行為が十枚程度だとすればその安全策は切り盛りする fact6: 仮にあの看守勤務がイメージし易いならば物凄ーい fact7: あの看守勤務は植皮でないがそれは物凄ーい fact8: なにがしかのものが切り盛りすればＮＬＰだ fact9: あの看守勤務が植皮でないが物凄ーいとするとこの戦略的相互行為は十枚程度である fact10: 「その安全策はイメージし易い」ということは本当である fact11: もし仮にその安全策が物凄ーいとしたらあの看守勤務は陸である fact12: もし仮にその安全策が植皮でないけれど物凄ーいならばあの看守勤務はイメージし易い fact13: なにかはイメージし易いとすると陸である
fact9 & fact7 -> int1: この戦略的相互行為は十枚程度である; int1 & fact5 -> int2: その安全策は切り盛りする; fact13 -> int3: もし仮にその安全策がイメージし易いとすると陸だ; fact10 & int3 -> int4: その安全策は陸である; int2 & int4 -> hypothesis;
fact9 & fact7 -> int1: {B}{b}; int1 & fact5 -> int2: {A}{c}; fact13 -> int3: {D}{c} -> {C}{c}; fact10 & int3 -> int4: {C}{c}; int2 & int4 -> hypothesis;
もし仮にあの看守勤務が切り盛りするとするとＮＬＰだ
fact14 -> hypothesis;
$facts$ = fact1: あの看守勤務は植皮でない一方で切り盛りする fact2: このノウは陸だ fact3: この戦略的相互行為は物凄ーい fact4: 仮にあるものが十枚程度だとしたら植皮だ fact5: もし仮にこの戦略的相互行為が十枚程度だとすればその安全策は切り盛りする fact6: 仮にあの看守勤務がイメージし易いならば物凄ーい fact7: あの看守勤務は植皮でないがそれは物凄ーい fact8: なにがしかのものが切り盛りすればＮＬＰだ fact9: あの看守勤務が植皮でないが物凄ーいとするとこの戦略的相互行為は十枚程度である fact10: 「その安全策はイメージし易い」ということは本当である fact11: もし仮にその安全策が物凄ーいとしたらあの看守勤務は陸である fact12: もし仮にその安全策が植皮でないけれど物凄ーいならばあの看守勤務はイメージし易い fact13: なにかはイメージし易いとすると陸である ; $hypothesis$ = その安全策は陸で更に切り盛りする ; $proof$ = 
fact9 & fact7 -> int1: この戦略的相互行為は十枚程度である; int1 & fact5 -> int2: その安全策は切り盛りする; fact13 -> int3: もし仮にその安全策がイメージし易いとすると陸だ; fact10 & int3 -> int4: その安全策は陸である; int2 & int4 -> hypothesis; __PROVED__
事実1: あの看守勤務は植皮でない一方で切り盛りする
事実2: このノウは陸だ
事実3: この戦略的相互行為は物凄ーい
事実4: 仮にあるものが十枚程度だとしたら植皮だ
事実5: もし仮にこの戦略的相互行為が十枚程度だとすればその安全策は切り盛りする
事実6: 仮にあの看守勤務がイメージし易いならば物凄ーい
事実7: あの看守勤務は植皮でないがそれは物凄ーい
事実8: なにがしかのものが切り盛りすればＮＬＰだ
事実9: あの看守勤務が植皮でないが物凄ーいとするとこの戦略的相互行為は十枚程度である
事実10: 「その安全策はイメージし易い」ということは本当である
事実11: もし仮にその安全策が物凄ーいとしたらあの看守勤務は陸である
事実12: もし仮にその安全策が植皮でないけれど物凄ーいならばあの看守勤務はイメージし易い
事実13: なにかはイメージし易いとすると陸である

仮説: その安全策は陸で更に切り盛りする
1. 事実9と事実7から、推論1: "この戦略的相互行為は十枚程度である"が導かれる
2. 推論1と事実5から、推論2: "その安全策は切り盛りする"が導かれる
3. 事実13から、推論3: "もし仮にその安全策がイメージし易いとすると陸だ"が導かれる
4. 事実10と推論3から、推論4: "その安全策は陸である"が導かれる
5. 推論2と推論4から、仮説が導かれる

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