The bear sees the cat. The bear sees the rabbit. The bear visits the cat. The cat chases the bear. The cat is nice. The cat is red. The cat sees the rabbit. The cat visits the rabbit. The rabbit is red. The rabbit is young. If someone is young then they chase the bear. If the rabbit is young and the rabbit visits the cat then the rabbit chases the cat. If someone is nice and they see the rabbit then the rabbit is young. If someone sees the rabbit and the rabbit is green then they see the bear. If someone visits the rabbit and they chase the cat then the rabbit visits the cat. If someone sees the rabbit then they chase the cat. If someone is red and they see the cat then the cat is green. If someone is green then they visit the bear.
The cat chases the bear.
@0: The bear sees the cat.[(triple1)] The bear sees the rabbit.[(triple2)] The bear visits the cat.[(triple3)] The cat chases the bear.[(triple4)] The cat is nice.[(triple5)] The cat is red.[(triple6)] The cat sees the rabbit.[(triple7)] The cat visits the rabbit.[(triple8)] The rabbit is red.[(triple9)] The rabbit is young.[(triple10 OR ((triple5 triple7) -> rule3))] @1: The bear chases the cat.[(((triple2) -> rule6))] The cat chases the cat.[(((triple7) -> rule6))] The rabbit chases the bear.[(((triple10) -> rule1) OR ((((triple5 triple7) -> rule3)) -> rule1))] @2: The rabbit visits the cat.[(((triple8 ((triple7) -> rule6)) -> rule5))] @3: The rabbit chases the cat.[(((triple10 ((triple8 ((triple7) -> rule6)) -> rule5)) -> rule2) OR ((((triple5 triple7) -> rule3) ((triple8 ((triple7) -> rule6)) -> rule5)) -> rule2))]