The bald eagle is red. The cow is green. The cow likes the bald eagle. The cow likes the rabbit. The cow visits the bald eagle. The cow visits the rabbit. The rabbit likes the cow. The rabbit sees the tiger. The rabbit visits the tiger. The tiger is red. The tiger visits the cow. The tiger visits the rabbit. If something visits the rabbit then it is red. If something sees the bald eagle and the bald eagle visits the cow then it sees the cow. If something is red then it is kind. If the cow sees the tiger and the tiger sees the rabbit then the cow is green. If something is kind then it sees the bald eagle. If the rabbit is green then the rabbit is red. If something is red then it sees the rabbit. If something likes the cow and it likes the bald eagle then the cow sees the rabbit.
The cow is not red.
@0: The bald eagle is red.[(triple1)] The cow is green.[(triple2)] The cow likes the bald eagle.[(triple3)] The cow likes the rabbit.[(triple4)] The cow visits the bald eagle.[(triple5)] The cow visits the rabbit.[(triple6)] The rabbit likes the cow.[(triple7)] The rabbit sees the tiger.[(triple8)] The rabbit visits the tiger.[(triple9)] The tiger is red.[(triple10 OR ((triple12) -> rule1))] The tiger visits the cow.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The bald eagle is kind.[(((triple1) -> rule3))] The bald eagle sees the rabbit.[(((triple1) -> rule7))] The cow is red.[(((triple6) -> rule1))] The tiger is kind.[(((triple10) -> rule3) OR ((((triple12) -> rule1)) -> rule3))] The tiger sees the rabbit.[(((triple10) -> rule7) OR ((((triple12) -> rule1)) -> rule7))] @2: The bald eagle sees the bald eagle.[(((((triple1) -> rule3)) -> rule5))] The cow is kind.[(((((triple6) -> rule1)) -> rule3))] The cow sees the rabbit.[(((((triple6) -> rule1)) -> rule7))] The tiger sees the bald eagle.[(((((triple10) -> rule3)) -> rule5) OR ((((((triple12) -> rule1)) -> rule3)) -> rule5))] @3: The cow sees the bald eagle.[(((((((triple6) -> rule1)) -> rule3)) -> rule5))]