The bald eagle is young. The bald eagle likes the bear. The bear is blue. The cat is blue. The cat likes the bald eagle. The cat sees the cow. The cat visits the bald eagle. The cow is blue. The cow is nice. The cow is round. The cow does not like the bear. The cow sees the bear. If someone sees the bald eagle then the bald eagle sees the cow. If someone sees the cow then they see the cat. If someone sees the cat then they like the cow. If someone sees the cat then the cat sees the bald eagle. If someone likes the cow and the cow is round then the cow does not see the bald eagle.
The bald eagle visits the cat.
@0: The bald eagle is young.[(triple1)] The bald eagle likes the bear.[(triple2)] The bear is blue.[(triple3)] The cat is blue.[(triple4)] The cat likes the bald eagle.[(triple5)] The cat sees the cow.[(triple6)] The cat visits the bald eagle.[(triple7)] The cow does not like the bear.[(triple11)] The cow is blue.[(triple8)] The cow is nice.[(triple9)] The cow is round.[(triple10)] The cow sees the bear.[(triple12)] @1: The cat sees the cat.[(((triple6) -> rule2))] @2: The cat likes the cow.[(((((triple6) -> rule2)) -> rule3))] The cat sees the bald eagle.[(((((triple6) -> rule2)) -> rule4))] @3: The bald eagle sees the cow.[(((((((triple6) -> rule2)) -> rule4)) -> rule1))] The cow does not see the bald eagle.[(((((((triple6) -> rule2)) -> rule3) triple10) -> rule5) OR ((((((((((((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule2)) -> rule3) triple10) -> rule5))] @4: The bald eagle sees the cat.[(((((((((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule2))] @5: The bald eagle likes the cow.[(((((((((((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule2)) -> rule3))]