The bald eagle chases the cat. The bald eagle is kind. The bald eagle needs the bear. The bald eagle visits the bear. The bear is red. The cat chases the dog. The cat is red. The cat needs the dog. The cat visits the bear. The dog needs the bald eagle. The dog needs the cat. The dog visits the cat. If someone visits the cat and the cat visits the dog then they are nice. If someone needs the bear then they are kind. If someone chases the bear then they visit the dog. If someone chases the cat then the cat chases the bear. If the dog is young and the dog chases the bald eagle then the dog needs the bear. If someone is nice then they chase the cat. If someone needs the bald eagle and the bald eagle chases the bear then they chase the dog. If someone chases the cat then the cat needs the bald eagle. If someone is nice and they visit the cat then the cat is nice.
The dog is round.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is kind.[(triple2 OR ((triple3) -> rule2))] The bald eagle needs the bear.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear is red.[(triple5)] The cat chases the dog.[(triple6)] The cat is red.[(triple7)] The cat needs the dog.[(triple8)] The cat visits the bear.[(triple9)] The dog needs the bald eagle.[(triple10)] The dog needs the cat.[(triple11)] The dog visits the cat.[(triple12)] @1: The cat chases the bear.[(((triple1) -> rule4))] The cat needs the bald eagle.[(((triple1) -> rule8) OR ((((((triple12 ((((triple1) -> rule4)) -> rule3)) -> rule1)) -> rule6)) -> rule8) OR ((((((((triple12 ((((triple1) -> rule4)) -> rule3)) -> rule1) triple12) -> rule9)) -> rule6)) -> rule8))] @2: The cat visits the dog.[(((((triple1) -> rule4)) -> rule3))] @3: The dog is nice.[(((triple12 ((((triple1) -> rule4)) -> rule3)) -> rule1))] @4: The cat is nice.[(((((triple12 ((((triple1) -> rule4)) -> rule3)) -> rule1) triple12) -> rule9))] The dog chases the cat.[(((((triple12 ((((triple1) -> rule4)) -> rule3)) -> rule1)) -> rule6))] @5: The cat chases the cat.[(((((((triple12 ((((triple1) -> rule4)) -> rule3)) -> rule1) triple12) -> rule9)) -> rule6))]