このランプレーは喜ぶ
fact1: その企業群は集積するということはない fact2: 何かは遅れ易くないしさらにそれが集積しないとしたらこのランプレーは喜ばない fact3: もし仮にある物が集積するかまたはそれは遅れ易くないかもしくはどちらもだとしたら「それは喜ぶ」ということは誤りでない fact4: この訪問看護指導は集積するということはない fact5: その企業群は変成しない fact6: その企業群は遅れ易くない fact7: 「年中だということはない」物はある fact8: もしもその企業群は集積するかあるいは喜ぶなら「この其処等中は喜ぶ」ということは誤りである
fact6 & fact1 -> int1: その企業群は遅れ易くないしそれに集積しない; int1 -> int2: 何らかのものは遅れ易いということはなくて集積するということはない; int2 & fact2 -> hypothesis;
fact6 & fact1 -> int1: (¬{A}{a} & ¬{B}{a}); int1 -> int2: (Ex): (¬{A}x & ¬{B}x); int2 & fact2 -> hypothesis;
このランプレーは喜ぶ
fact9 -> int3: もしこのランプレーは集積するかあるいは遅れ易いということはないかもしくは両方だとすればそれは喜ぶ;
$facts$ = fact1: その企業群は集積するということはない fact2: 何かは遅れ易くないしさらにそれが集積しないとしたらこのランプレーは喜ばない fact3: もし仮にある物が集積するかまたはそれは遅れ易くないかもしくはどちらもだとしたら「それは喜ぶ」ということは誤りでない fact4: この訪問看護指導は集積するということはない fact5: その企業群は変成しない fact6: その企業群は遅れ易くない fact7: 「年中だということはない」物はある fact8: もしもその企業群は集積するかあるいは喜ぶなら「この其処等中は喜ぶ」ということは誤りである ; $hypothesis$ = このランプレーは喜ぶ ; $proof$ = 
fact6 & fact1 -> int1: その企業群は遅れ易くないしそれに集積しない; int1 -> int2: 何らかのものは遅れ易いということはなくて集積するということはない; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: その企業群は集積するということはない
事実2: 何かは遅れ易くないしさらにそれが集積しないとしたらこのランプレーは喜ばない
事実3: もし仮にある物が集積するかまたはそれは遅れ易くないかもしくはどちらもだとしたら「それは喜ぶ」ということは誤りでない
事実4: この訪問看護指導は集積するということはない
事実5: その企業群は変成しない
事実6: その企業群は遅れ易くない
事実7: 「年中だということはない」物はある
事実8: もしもその企業群は集積するかあるいは喜ぶなら「この其処等中は喜ぶ」ということは誤りである

仮説: このランプレーは喜ぶ
1. 事実6と事実1から、推論1: "その企業群は遅れ易くないしそれに集積しない"が導かれる
2. 推論1から、推論2: "何らかのものは遅れ易いということはなくて集積するということはない"が導かれる
3. 推論2と事実2から、仮説が否定される

よって、仮説が否定されました。