The bald eagle is nice. The bald eagle needs the tiger. The bald eagle sees the cow. The cow is big. The cow is not nice. The cow is not red. The cow does not like the tiger. The cow needs the bald eagle. The cow needs the dog. The cow sees the tiger. The dog is big. The dog is not cold. The dog is nice. The tiger does not like the cow. The tiger sees the cow. If something needs the dog and it likes the dog then it is cold. If something is red and it likes the dog then it is not cold. If something needs the dog then the dog sees the cow. If something is big and it likes the bald eagle then the bald eagle sees the tiger. If something is kind then it likes the tiger. If something sees the cow then it is kind. If something likes the cow then the cow is not cold. If the tiger is nice and the tiger is not cold then the tiger does not need the bald eagle.
The bald eagle needs the cow.
@0: The bald eagle is nice.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bald eagle sees the cow.[(triple3)] The cow does not like the tiger.[(triple7)] The cow is big.[(triple4)] The cow is not nice.[(triple5)] The cow is not red.[(triple6)] The cow needs the bald eagle.[(triple8)] The cow needs the dog.[(triple9)] The cow sees the tiger.[(triple10)] The dog is big.[(triple11)] The dog is nice.[(triple13)] The dog is not cold.[(triple12)] The tiger does not like the cow.[(triple14)] The tiger sees the cow.[(triple15)] @1: The bald eagle is kind.[(((triple3) -> rule6))] The dog sees the cow.[(((triple9) -> rule3))] The tiger is kind.[(((triple15) -> rule6))] @2: The bald eagle likes the tiger.[(((((triple3) -> rule6)) -> rule5))] The dog is kind.[(((((triple9) -> rule3)) -> rule6))] The tiger likes the tiger.[(((((triple15) -> rule6)) -> rule5))] @3: The dog likes the tiger.[(((((((triple9) -> rule3)) -> rule6)) -> rule5))]