The bald eagle likes the rabbit. The bald eagle sees the dog. The dog is cold. The dog is kind. The dog likes the rabbit. The rabbit eats the bald eagle. The rabbit is kind. The rabbit is red. The rabbit likes the bald eagle. The rabbit likes the dog. The rabbit sees the bald eagle. The rabbit sees the dog. If someone is big and red then they like the bald eagle. If someone sees the dog and the dog is cold then the dog is red. If someone is blue and big then they see the bald eagle. If someone is cold then they like the bald eagle. If the rabbit likes the bald eagle then the rabbit eats the dog. If someone eats the bald eagle and the bald eagle likes the rabbit then the rabbit likes the bald eagle. If the dog likes the rabbit then the dog likes the bald eagle. If someone likes the rabbit then the rabbit sees the bald eagle.
The dog likes the dog.
@0: The bald eagle likes the rabbit.[(triple1)] The bald eagle sees the dog.[(triple2)] The dog is cold.[(triple3)] The dog is kind.[(triple4)] The dog likes the rabbit.[(triple5)] The rabbit eats the bald eagle.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is red.[(triple8)] The rabbit likes the bald eagle.[(triple9 OR ((triple6 triple1) -> rule6))] The rabbit likes the dog.[(triple10)] The rabbit sees the bald eagle.[(triple11 OR ((triple1) -> rule8) OR ((triple5) -> rule8))] The rabbit sees the dog.[(triple12)] @1: The dog is red.[(((triple12 triple3) -> rule2) OR ((triple2 triple3) -> rule2))] The dog likes the bald eagle.[(((triple3) -> rule4) OR ((triple5) -> rule7))] The rabbit eats the dog.[(((triple9) -> rule5) OR ((((triple6 triple1) -> rule6)) -> rule5))]