The bear chases the rabbit. The cat needs the bear. The cow needs the rabbit. The rabbit visits the cat. If someone needs the rabbit and the rabbit is red then the rabbit needs the cow. If someone chases the rabbit then they visit the cat. If someone needs the cow then the cow chases the bear. If someone visits the cat then the cat needs the cow. If someone chases the cow then they are young. If someone chases the bear then the bear chases the cow. If someone needs the rabbit and the rabbit visits the bear then the rabbit chases the cow. If someone needs the cat then the cat needs the cow.
The bear chases the cow.
@0: The bear chases the rabbit.[(triple1)] The cat needs the bear.[(triple2)] The cow needs the rabbit.[(triple3)] The rabbit visits the cat.[(triple4)] @1: The bear visits the cat.[(((triple1) -> rule2))] The cat needs the cow.[(((triple4) -> rule4) OR ((((triple1) -> rule2)) -> rule4))] @2: The cow chases the bear.[(((((triple4) -> rule4)) -> rule3) OR ((((((triple1) -> rule2)) -> rule4)) -> rule3))] @3: The bear chases the cow.[(((((((triple4) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule2)) -> rule4)) -> rule3)) -> rule6))] @4: The bear is young.[(((((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule5) OR ((((((((((triple1) -> rule2)) -> rule4)) -> rule3)) -> rule6)) -> rule5))]