この鎮兵は由々しない
fact1: もし仮にその入りが出発すらないならばあの鎮兵は酒気である fact2: もし仮にその入りが酒気でないとしたらこの鎮兵は出発す fact3: その入りは差し向かう fact4: もしもこの鎮兵が出発すかもしくはそれは酒気であるか両方ともだとすると配らない fact5: この鎮兵は配るということはないかもしくはそれは差し向かわない fact6: もし仮にその入りは由々しか酒気だとしたら「それは配らない」ということは成り立つ fact7: もしなにかは差し向かうかもしくは酒気であるとするとそれは由々しということはない fact8: もしこの鎮兵が差し向かうか配るとしたら酒気でない fact9: この鎮兵は由々しかあるいは出発す fact10: この鎮兵は酒気であるかもしくは出発す fact11: その入りは酒気でないか出発すらないかもしくはどちらもだ fact12: 仮になにかは合同するならそれは暑くない fact13: 仮にこの鎮兵が出発すということはないならばあの入りは酒気である fact14: この航空攻撃は配る fact15: その入りは差し向かうかまたは配るかまたは両方ともである fact16: もし仮にこの鎮兵が出発すかまたは酒気であるかどちらもだとすると差し向かわない fact17: この鎮兵は出発すか由々しかもしくは両方だ fact18: その入りはしょっぱいかあるいはそれは出発すかまたは両方だ fact19: この植被面は由々し fact20: もしもなにがしかのものが差し向かうとしたら由々しない fact21: その入りは出発すらないか配るということはないかまたは両方ともだ fact22: 仮にこの鎮兵が差し向かうかもしくはそれは由々しとすれば「配る」ということは成り立つということはない fact23: もし仮にその入りが配るということはないとするとこの鎮兵は酒気だ
fact21 & fact1 & fact23 -> int1: この鎮兵は酒気だ; int1 -> int2: この鎮兵は差し向かうかもしくは酒気であるかもしくは両方ともである; fact7 -> int3: もし仮にこの鎮兵が差し向かうかまたはそれは酒気であるかまたはどちらもであるなら由々しない; int2 & int3 -> hypothesis;
$facts$ = fact1: もし仮にその入りが出発すらないならばあの鎮兵は酒気である fact2: もし仮にその入りが酒気でないとしたらこの鎮兵は出発す fact3: その入りは差し向かう fact4: もしもこの鎮兵が出発すかもしくはそれは酒気であるか両方ともだとすると配らない fact5: この鎮兵は配るということはないかもしくはそれは差し向かわない fact6: もし仮にその入りは由々しか酒気だとしたら「それは配らない」ということは成り立つ fact7: もしなにかは差し向かうかもしくは酒気であるとするとそれは由々しということはない fact8: もしこの鎮兵が差し向かうか配るとしたら酒気でない fact9: この鎮兵は由々しかあるいは出発す fact10: この鎮兵は酒気であるかもしくは出発す fact11: その入りは酒気でないか出発すらないかもしくはどちらもだ fact12: 仮になにかは合同するならそれは暑くない fact13: 仮にこの鎮兵が出発すということはないならばあの入りは酒気である fact14: この航空攻撃は配る fact15: その入りは差し向かうかまたは配るかまたは両方ともである fact16: もし仮にこの鎮兵が出発すかまたは酒気であるかどちらもだとすると差し向かわない fact17: この鎮兵は出発すか由々しかもしくは両方だ fact18: その入りはしょっぱいかあるいはそれは出発すかまたは両方だ fact19: この植被面は由々し fact20: もしもなにがしかのものが差し向かうとしたら由々しない fact21: その入りは出発すらないか配るということはないかまたは両方ともだ fact22: 仮にこの鎮兵が差し向かうかもしくはそれは由々しとすれば「配る」ということは成り立つということはない fact23: もし仮にその入りが配るということはないとするとこの鎮兵は酒気だ ; $hypothesis$ = この鎮兵は由々しない ; $proof$ = 
fact21 & fact1 & fact23 -> int1: この鎮兵は酒気だ; int1 -> int2: この鎮兵は差し向かうかもしくは酒気であるかもしくは両方ともである; fact7 -> int3: もし仮にこの鎮兵が差し向かうかまたはそれは酒気であるかまたはどちらもであるなら由々しない; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮にその入りが出発すらないならばあの鎮兵は酒気である
事実2: もし仮にその入りが酒気でないとしたらこの鎮兵は出発す
事実3: その入りは差し向かう
事実4: もしもこの鎮兵が出発すかもしくはそれは酒気であるか両方ともだとすると配らない
事実5: この鎮兵は配るということはないかもしくはそれは差し向かわない
事実6: もし仮にその入りは由々しか酒気だとしたら「それは配らない」ということは成り立つ
事実7: もしなにかは差し向かうかもしくは酒気であるとするとそれは由々しということはない
事実8: もしこの鎮兵が差し向かうか配るとしたら酒気でない
事実9: この鎮兵は由々しかあるいは出発す
事実10: この鎮兵は酒気であるかもしくは出発す
事実11: その入りは酒気でないか出発すらないかもしくはどちらもだ
事実12: 仮になにかは合同するならそれは暑くない
事実13: 仮にこの鎮兵が出発すということはないならばあの入りは酒気である
事実14: この航空攻撃は配る
事実15: その入りは差し向かうかまたは配るかまたは両方ともである
事実16: もし仮にこの鎮兵が出発すかまたは酒気であるかどちらもだとすると差し向かわない
事実17: この鎮兵は出発すか由々しかもしくは両方だ
事実18: その入りはしょっぱいかあるいはそれは出発すかまたは両方だ
事実19: この植被面は由々し
事実20: もしもなにがしかのものが差し向かうとしたら由々しない
事実21: その入りは出発すらないか配るということはないかまたは両方ともだ
事実22: 仮にこの鎮兵が差し向かうかもしくはそれは由々しとすれば「配る」ということは成り立つということはない
事実23: もし仮にその入りが配るということはないとするとこの鎮兵は酒気だ

仮説: この鎮兵は由々しない
1. 事実21と事実1と事実23から、推論1: "この鎮兵は酒気だ"が導かれる
2. 推論1から、推論2: "この鎮兵は差し向かうかもしくは酒気であるかもしくは両方ともである"が導かれる
3. 事実7から、推論3: "もし仮にこの鎮兵が差し向かうかまたはそれは酒気であるかまたはどちらもであるなら由々しない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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