The bear eats the cat. The cat chases the rabbit. The rabbit chases the bear. If something chases the bear and the bear visits the cat then it visits the bear. If the rabbit chases the cat and the bear does not eat the rabbit then the cat eats the bear. If the cat is round then the cat is blue. If something chases the cat then the cat is round. If the rabbit chases the bear and the bear eats the cat then the bear chases the cat. If something is blue then it eats the bear.
The rabbit does not eat the bear.
@0: The bear eats the cat.[(triple1)] The cat chases the rabbit.[(triple2)] The rabbit chases the bear.[(triple3)] @1: The bear chases the cat.[(((triple3 triple1) -> rule5))] @2: The cat is round.[(((((triple3 triple1) -> rule5)) -> rule4))] @3: The cat is blue.[(((((((triple3 triple1) -> rule5)) -> rule4)) -> rule3))] @4: The cat eats the bear.[(((((((((triple3 triple1) -> rule5)) -> rule4)) -> rule3)) -> rule6))]