The bald eagle eats the cat. The bald eagle is blue. The bald eagle is nice. The bald eagle is round. The bald eagle does not visit the cat. The cat eats the rabbit. The cat visits the bald eagle. The cat does not visit the rabbit. The rabbit chases the bald eagle. The rabbit eats the cat. The rabbit is red. The rabbit does not visit the bald eagle. If someone eats the cat then the cat eats the bald eagle. All nice people are blue. If someone chases the bald eagle then they eat the bald eagle. If someone is kind then they eat the bald eagle. If someone is red and they eat the rabbit then the rabbit visits the cat. If someone is round and they do not visit the rabbit then they are not kind. If the cat chases the bald eagle and the cat eats the bald eagle then the bald eagle does not chase the cat. If someone is kind then they eat the rabbit.
The bald eagle is nice.
@0: The bald eagle does not visit the cat.[(triple5)] The bald eagle eats the cat.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple3) -> rule2))] The bald eagle is nice.[(triple3)] The bald eagle is round.[(triple4)] The cat does not visit the rabbit.[(triple8)] The cat eats the rabbit.[(triple6)] The cat visits the bald eagle.[(triple7)] The rabbit chases the bald eagle.[(triple9)] The rabbit does not visit the bald eagle.[(triple12)] The rabbit eats the cat.[(triple10)] The rabbit is red.[(triple11)] @1: The cat eats the bald eagle.[(((triple1) -> rule1) OR ((triple10) -> rule1))] The rabbit eats the bald eagle.[(((triple9) -> rule3))]