もしあの下士がイラン人だとするとあの少年院は市区である
fact1: 仮にそのココ椰子が射撃するとしたらあの少年院は市区だ fact2: この茸部が溶け崩れればそのココ椰子は射撃する fact3: そのセツルメントは射撃するとしたら「そのココ椰子は間借りする」ということは事実だ fact4: 仮にあの少年院が間借りするとするとそのセツルメントは市区である fact5: イラン人があるとするとそのセツルメントは間借りしない fact6: もし仮にそのセツルメントが射撃しないならそのココ椰子は射撃するかまたはそれは間借りするかもしくは両方だ fact7: この茸部が間借りするならそのセツルメントは溶け崩れる fact8: もし仮にあの少年院がイラン人であるとしたらあの下士は市区である fact9: そのココ椰子はイラン人だ fact10: もしそのセツルメントが間借りしないならばあの茸部は間借りするかもしくは溶け崩れるかもしくはどちらもだ fact11: あの少年院はイラン人であるかあるいは市区であるかあるいは両方ともだ fact12: もしもこの茸部がイラン人だとしたらあの下士は間借りする fact13: 「あの下士は溶け崩れる」ということは本当である fact14: 「この茸部は射撃する」ということは事実である fact15: ある物は溶け崩れる fact16: もしもこの茸部が間借りするならそのココ椰子は射撃する
void -> assump1: 以下のように仮定する。あの下士はイラン人である; assump1 -> int1: 「イラン人である」物はある; int1 & fact5 -> int2: そのセツルメントは間借りしない; int2 & fact10 -> int3: この茸部は間借りするかそれは溶け崩れる; int3 & fact16 & fact2 -> int4: そのココ椰子は射撃する; int4 & fact1 -> int5: 「あの少年院は市区だ」ということは事実だ; [assump1] & int5 -> hypothesis;
$facts$ = fact1: 仮にそのココ椰子が射撃するとしたらあの少年院は市区だ fact2: この茸部が溶け崩れればそのココ椰子は射撃する fact3: そのセツルメントは射撃するとしたら「そのココ椰子は間借りする」ということは事実だ fact4: 仮にあの少年院が間借りするとするとそのセツルメントは市区である fact5: イラン人があるとするとそのセツルメントは間借りしない fact6: もし仮にそのセツルメントが射撃しないならそのココ椰子は射撃するかまたはそれは間借りするかもしくは両方だ fact7: この茸部が間借りするならそのセツルメントは溶け崩れる fact8: もし仮にあの少年院がイラン人であるとしたらあの下士は市区である fact9: そのココ椰子はイラン人だ fact10: もしそのセツルメントが間借りしないならばあの茸部は間借りするかもしくは溶け崩れるかもしくはどちらもだ fact11: あの少年院はイラン人であるかあるいは市区であるかあるいは両方ともだ fact12: もしもこの茸部がイラン人だとしたらあの下士は間借りする fact13: 「あの下士は溶け崩れる」ということは本当である fact14: 「この茸部は射撃する」ということは事実である fact15: ある物は溶け崩れる fact16: もしもこの茸部が間借りするならそのココ椰子は射撃する ; $hypothesis$ = もしあの下士がイラン人だとするとあの少年院は市区である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの下士はイラン人である; assump1 -> int1: 「イラン人である」物はある; int1 & fact5 -> int2: そのセツルメントは間借りしない; int2 & fact10 -> int3: この茸部は間借りするかそれは溶け崩れる; int3 & fact16 & fact2 -> int4: そのココ椰子は射撃する; int4 & fact1 -> int5: 「あの少年院は市区だ」ということは事実だ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮にそのココ椰子が射撃するとしたらあの少年院は市区だ
事実2: この茸部が溶け崩れればそのココ椰子は射撃する
事実3: そのセツルメントは射撃するとしたら「そのココ椰子は間借りする」ということは事実だ
事実4: 仮にあの少年院が間借りするとするとそのセツルメントは市区である
事実5: イラン人があるとするとそのセツルメントは間借りしない
事実6: もし仮にそのセツルメントが射撃しないならそのココ椰子は射撃するかまたはそれは間借りするかもしくは両方だ
事実7: この茸部が間借りするならそのセツルメントは溶け崩れる
事実8: もし仮にあの少年院がイラン人であるとしたらあの下士は市区である
事実9: そのココ椰子はイラン人だ
事実10: もしそのセツルメントが間借りしないならばあの茸部は間借りするかもしくは溶け崩れるかもしくはどちらもだ
事実11: あの少年院はイラン人であるかあるいは市区であるかあるいは両方ともだ
事実12: もしもこの茸部がイラン人だとしたらあの下士は間借りする
事実13: 「あの下士は溶け崩れる」ということは本当である
事実14: 「この茸部は射撃する」ということは事実である
事実15: ある物は溶け崩れる
事実16: もしもこの茸部が間借りするならそのココ椰子は射撃する

仮説: もしあの下士がイラン人だとするとあの少年院は市区である
1. 仮定1: 以下のように仮定する。あの下士はイラン人である
2. 仮定1から、推論1: "「イラン人である」物はある"が導かれる
3. 推論1と事実5から、推論2: "そのセツルメントは間借りしない"が導かれる
4. 推論2と事実10から、推論3: "この茸部は間借りするかそれは溶け崩れる"が導かれる
5. 推論3と事実16と事実2から、推論4: "そのココ椰子は射撃する"が導かれる
6. 推論4と事実1から、推論5: "「あの少年院は市区だ」ということは事実だ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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