The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle is red. The bald eagle likes the cat. The cat chases the bald eagle. The cat chases the squirrel. The cat eats the bald eagle. The cat is blue. The cat is kind. The cat is rough. The cat likes the bald eagle. The squirrel does not chase the bald eagle. The squirrel chases the cat. The squirrel is kind. The squirrel is not rough. If the squirrel chases the cat and the cat is nice then the squirrel is nice. If someone chases the squirrel and the squirrel is not blue then they are rough. If the cat is blue and the cat chases the bald eagle then the bald eagle eats the cat. If the cat chases the bald eagle and the cat does not chase the squirrel then the squirrel likes the cat. If the bald eagle chases the cat then the bald eagle is not kind. If someone is rough then they eat the bald eagle.
The squirrel is kind.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the cat.[(triple2 OR ((triple8 triple5) -> rule3))] The bald eagle is red.[(triple3)] The bald eagle likes the cat.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat chases the squirrel.[(triple6)] The cat eats the bald eagle.[(triple7 OR ((triple10) -> rule6))] The cat is blue.[(triple8)] The cat is kind.[(triple9)] The cat is rough.[(triple10)] The cat likes the bald eagle.[(triple11)] The squirrel chases the cat.[(triple13)] The squirrel does not chase the bald eagle.[(triple12)] The squirrel is kind.[(triple14)] The squirrel is not rough.[(triple15)] @1: The bald eagle is not kind.[(((triple1) -> rule5))]