The bald eagle is red. The bald eagle needs the cat. The bald eagle visits the cat. The cat is cold. The cat is nice. The cat is young. The cow needs the bald eagle. The cow needs the tiger. The cow sees the bald eagle. The tiger sees the bald eagle. The tiger sees the cat. The tiger visits the cat. If someone is cold then they visit the cow. If someone visits the tiger then they see the bald eagle. If someone is young and they visit the cow then the cow is cold. If someone is round then they visit the bald eagle. If someone visits the cow then they are round. If someone visits the cat and the cat needs the cow then they need the cow. Round people are nice. If someone sees the cat then they need the bald eagle.
The cow does not visit the bald eagle.
@0: The bald eagle is red.[(triple1)] The bald eagle needs the cat.[(triple2)] The bald eagle visits the cat.[(triple3)] The cat is cold.[(triple4)] The cat is nice.[(triple5 OR ((((((triple4) -> rule1)) -> rule5)) -> rule7))] The cat is young.[(triple6)] The cow needs the bald eagle.[(triple7)] The cow needs the tiger.[(triple8)] The cow sees the bald eagle.[(triple9)] The tiger sees the bald eagle.[(triple10)] The tiger sees the cat.[(triple11)] The tiger visits the cat.[(triple12)] @1: The cat visits the cow.[(((triple4) -> rule1))] The tiger needs the bald eagle.[(((triple11) -> rule8))] @2: The cat is round.[(((((triple4) -> rule1)) -> rule5))] The cow is cold.[(((triple6 ((triple4) -> rule1)) -> rule3))] @3: The cat visits the bald eagle.[(((((((triple4) -> rule1)) -> rule5)) -> rule4))] The cow visits the cow.[(((((triple6 ((triple4) -> rule1)) -> rule3)) -> rule1))] @4: The cow is round.[(((((((triple6 ((triple4) -> rule1)) -> rule3)) -> rule1)) -> rule5))] @5: The cow is nice.[(((((((((triple6 ((triple4) -> rule1)) -> rule3)) -> rule1)) -> rule5)) -> rule7))] The cow visits the bald eagle.[(((((((((triple6 ((triple4) -> rule1)) -> rule3)) -> rule1)) -> rule5)) -> rule4))]