その指導・監査は話し易い
fact1: もしその第三次埋葬が所属しないとしたらそれは十分過ぎるということはないが埃っぽい fact2: その第三次埋葬は所属しない fact3: その怪奇大作戦は押し迫るか話し易いとしたら「その指導・監査は話し易くない」ということは真実だ fact4: もしとある物が心無いとするとそれは話し易い fact5: 仮にあの初年兵が引っ繰り返さないとするとその怪奇大作戦は問題系であるししかもそれは押し迫る fact6: 仮にその指導・監査が心無くないならそれは話し易くないしそれは引っ繰り返す fact7: 仮にその第三次埋葬が話し易くないならその指導・監査は十分過ぎる fact8: その怪奇大作戦が引っ繰り返さないならばその指導・監査は心無い fact9: もし仮にとあるものは十分過ぎない一方で埃っぽいならばそれは押し迫る fact10: 仮にその第三次埋葬が問題系であるかそれが押し迫るかあるいは両方ともならその怪奇大作戦は引っ繰り返さない
fact9 -> int1: その第三次埋葬が十分過ぎないが埃っぽいとすればそれは押し迫る; fact2 & fact1 -> int2: その第三次埋葬は十分過ぎないがしかし埃っぽい; int1 & int2 -> int3: 「その第三次埋葬は押し迫る」ということは成り立つ; int3 -> int4: その第三次埋葬は問題系であるかあるいは押し迫るかまたはどちらもだ; int4 & fact10 -> int5: その怪奇大作戦は引っ繰り返さない; int5 & fact8 -> int6: その指導・監査は心無い; fact4 -> int7: もしもその指導・監査が心無いなら話し易い; int6 & int7 -> hypothesis;
その指導・監査は話し易いということはない
$facts$ = fact1: もしその第三次埋葬が所属しないとしたらそれは十分過ぎるということはないが埃っぽい fact2: その第三次埋葬は所属しない fact3: その怪奇大作戦は押し迫るか話し易いとしたら「その指導・監査は話し易くない」ということは真実だ fact4: もしとある物が心無いとするとそれは話し易い fact5: 仮にあの初年兵が引っ繰り返さないとするとその怪奇大作戦は問題系であるししかもそれは押し迫る fact6: 仮にその指導・監査が心無くないならそれは話し易くないしそれは引っ繰り返す fact7: 仮にその第三次埋葬が話し易くないならその指導・監査は十分過ぎる fact8: その怪奇大作戦が引っ繰り返さないならばその指導・監査は心無い fact9: もし仮にとあるものは十分過ぎない一方で埃っぽいならばそれは押し迫る fact10: 仮にその第三次埋葬が問題系であるかそれが押し迫るかあるいは両方ともならその怪奇大作戦は引っ繰り返さない ; $hypothesis$ = その指導・監査は話し易い ; $proof$ = 
fact9 -> int1: その第三次埋葬が十分過ぎないが埃っぽいとすればそれは押し迫る; fact2 & fact1 -> int2: その第三次埋葬は十分過ぎないがしかし埃っぽい; int1 & int2 -> int3: 「その第三次埋葬は押し迫る」ということは成り立つ; int3 -> int4: その第三次埋葬は問題系であるかあるいは押し迫るかまたはどちらもだ; int4 & fact10 -> int5: その怪奇大作戦は引っ繰り返さない; int5 & fact8 -> int6: その指導・監査は心無い; fact4 -> int7: もしもその指導・監査が心無いなら話し易い; int6 & int7 -> hypothesis; __PROVED__
事実1: もしその第三次埋葬が所属しないとしたらそれは十分過ぎるということはないが埃っぽい
事実2: その第三次埋葬は所属しない
事実3: その怪奇大作戦は押し迫るか話し易いとしたら「その指導・監査は話し易くない」ということは真実だ
事実4: もしとある物が心無いとするとそれは話し易い
事実5: 仮にあの初年兵が引っ繰り返さないとするとその怪奇大作戦は問題系であるししかもそれは押し迫る
事実6: 仮にその指導・監査が心無くないならそれは話し易くないしそれは引っ繰り返す
事実7: 仮にその第三次埋葬が話し易くないならその指導・監査は十分過ぎる
事実8: その怪奇大作戦が引っ繰り返さないならばその指導・監査は心無い
事実9: もし仮にとあるものは十分過ぎない一方で埃っぽいならばそれは押し迫る
事実10: 仮にその第三次埋葬が問題系であるかそれが押し迫るかあるいは両方ともならその怪奇大作戦は引っ繰り返さない

仮説: その指導・監査は話し易い
1. 事実9から、推論1: "その第三次埋葬が十分過ぎないが埃っぽいとすればそれは押し迫る"が導かれる
2. 事実2と事実1から、推論2: "その第三次埋葬は十分過ぎないがしかし埃っぽい"が導かれる
3. 推論1と推論2から、推論3: "「その第三次埋葬は押し迫る」ということは成り立つ"が導かれる
4. 推論3から、推論4: "その第三次埋葬は問題系であるかあるいは押し迫るかまたはどちらもだ"が導かれる
5. 推論4と事実10から、推論5: "その怪奇大作戦は引っ繰り返さない"が導かれる
6. 推論5と事実8から、推論6: "その指導・監査は心無い"が導かれる
7. 事実4から、推論7: "もしもその指導・監査が心無いなら話し易い"が導かれる
8. 推論6と推論7から、仮説が導かれる

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