The bald eagle is not big. The bald eagle is blue. The bald eagle does not like the lion. The bald eagle sees the dog. The cow is big. The dog is cold. The dog likes the cow. The dog sees the cow. The lion chases the dog. The lion sees the bald eagle. The lion sees the cow. The lion sees the dog. If someone likes the lion then they see the dog. If the cow is cold and the cow sees the dog then the dog sees the bald eagle. If the cow sees the dog then the dog is big. If someone sees the dog and the dog is green then the dog sees the lion. If someone likes the dog then they do not chase the bald eagle. If someone sees the bald eagle then the bald eagle is not kind. If someone is big then they like the lion. If someone chases the cow and the cow is cold then they are green. If someone sees the bald eagle and they see the cow then the bald eagle likes the dog.
The cow likes the lion.
@0: The bald eagle does not like the lion.[(triple3)] The bald eagle is blue.[(triple2)] The bald eagle is not big.[(triple1)] The bald eagle sees the dog.[(triple4)] The cow is big.[(triple5)] The dog is cold.[(triple6)] The dog likes the cow.[(triple7)] The dog sees the cow.[(triple8)] The lion chases the dog.[(triple9)] The lion sees the bald eagle.[(triple10)] The lion sees the cow.[(triple11)] The lion sees the dog.[(triple12)] @1: The bald eagle is not kind.[(((triple10) -> rule6))] The bald eagle likes the dog.[(((triple10 triple11) -> rule9))] The cow likes the lion.[(((triple5) -> rule7))] @2: The bald eagle does not chase the bald eagle.[(((((triple10 triple11) -> rule9)) -> rule5))] The cow sees the dog.[(((((triple5) -> rule7)) -> rule1))] @3: The dog is big.[(((((((triple5) -> rule7)) -> rule1)) -> rule3))] @4: The dog likes the lion.[(((((((((triple5) -> rule7)) -> rule1)) -> rule3)) -> rule7))] @5: The dog sees the dog.[(((((((((((triple5) -> rule7)) -> rule1)) -> rule3)) -> rule7)) -> rule1))]