The bald eagle is green. The bald eagle is young. The bald eagle sees the dog. The bear likes the dog. The bear needs the cow. The cow needs the dog. The cow sees the dog. The dog is blue. The dog is green. The dog is young. The dog needs the bear. The dog needs the cow. If someone sees the bald eagle and they are nice then the bald eagle needs the bear. If someone is nice and young then they need the dog. If someone likes the cow and the cow needs the dog then the cow is kind. If someone is young and blue then they like the bear. If someone is blue and they like the bear then the bear likes the cow. If someone is green and they need the bear then they need the dog. If someone sees the bear then they are nice. If someone is kind then they see the bear.
The bear likes the cow.
@0: The bald eagle is green.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the dog.[(triple3)] The bear likes the dog.[(triple4)] The bear needs the cow.[(triple5)] The cow needs the dog.[(triple6)] The cow sees the dog.[(triple7)] The dog is blue.[(triple8)] The dog is green.[(triple9)] The dog is young.[(triple10)] The dog needs the bear.[(triple11)] The dog needs the cow.[(triple12)] @1: The dog likes the bear.[(((triple10 triple8) -> rule4))] The dog needs the dog.[(((triple9 triple11) -> rule6))] @2: The bear likes the cow.[(((triple8 ((triple10 triple8) -> rule4)) -> rule5))] @3: The cow is kind.[(((((triple8 ((triple10 triple8) -> rule4)) -> rule5) triple6) -> rule3))] @4: The cow sees the bear.[(((((((triple8 ((triple10 triple8) -> rule4)) -> rule5) triple6) -> rule3)) -> rule8))] @5: The cow is nice.[(((((((((triple8 ((triple10 triple8) -> rule4)) -> rule5) triple6) -> rule3)) -> rule8)) -> rule7))]