The bald eagle chases the cat. The bald eagle is kind. The bald eagle is nice. The bald eagle is red. The bald eagle is round. The bald eagle likes the cat. The bald eagle sees the cat. The cat chases the bald eagle. The cat is kind. The cat is nice. The cat is red. The cat is round. The cat is young. The cat likes the bald eagle. The cat sees the bald eagle. If the bald eagle chases the cat then the cat is young. If someone sees the cat and they are red then they like the bald eagle. If someone chases the bald eagle and they chase the cat then the bald eagle chases the cat.
The cat likes the cat.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle likes the cat.[(triple6)] The bald eagle sees the cat.[(triple7)] The cat chases the bald eagle.[(triple8)] The cat is kind.[(triple9)] The cat is nice.[(triple10)] The cat is red.[(triple11)] The cat is round.[(triple12)] The cat is young.[(triple13 OR ((triple1) -> rule1))] The cat likes the bald eagle.[(triple14)] The cat sees the bald eagle.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple7 triple4) -> rule2))]