The bald eagle chases the cat. The bald eagle chases the cow. The bald eagle is kind. The bald eagle is nice. The bald eagle likes the cow. The cat chases the cow. The cat eats the bald eagle. The cat eats the cow. The cat is blue. The cat is kind. The cat is nice. The cow chases the bald eagle. The cow eats the bald eagle. The cow eats the cat. The cow is round. If someone likes the bald eagle and they chase the cow then they chase the bald eagle. If someone likes the cat then they like the bald eagle. If someone is nice then they chase the cat. If someone eats the cat and the cat is nice then they eat the cow. If the cat eats the bald eagle then the cat chases the bald eagle. If someone eats the bald eagle then the bald eagle likes the cat.
The bald eagle eats the cat.
@0: The bald eagle chases the cat.[(triple1 OR ((triple4) -> rule3))] The bald eagle chases the cow.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle likes the cow.[(triple5)] The cat chases the cow.[(triple6)] The cat eats the bald eagle.[(triple7)] The cat eats the cow.[(triple8)] The cat is blue.[(triple9)] The cat is kind.[(triple10)] The cat is nice.[(triple11)] The cow chases the bald eagle.[(triple12)] The cow eats the bald eagle.[(triple13)] The cow eats the cat.[(triple14)] The cow is round.[(triple15)] @1: The bald eagle likes the cat.[(((triple13) -> rule6) OR ((triple7) -> rule6))] The cat chases the bald eagle.[(((triple7) -> rule5))] The cat chases the cat.[(((triple11) -> rule3))] The cow eats the cow.[(((triple14 triple11) -> rule4))] @2: The bald eagle likes the bald eagle.[(((((triple13) -> rule6)) -> rule2) OR ((((triple7) -> rule6)) -> rule2))] @3: The bald eagle chases the bald eagle.[(((((((triple13) -> rule6)) -> rule2) triple2) -> rule1) OR ((((((triple7) -> rule6)) -> rule2) triple2) -> rule1))]