The cow is cold. The cow is kind. The cow is red. If the cow is red and the cow is green then the cow is cold. Green people are kind. All kind, blue people are red. If the cow is cold and the cow is green then the cow is red. Kind people are cold. All blue, kind people are red. If the cow is kind then the cow is green. All blue people are cold.
The cow does not visit the cow.
@0: The cow is cold.[(triple1 OR ((triple2) -> rule5) OR ((triple3 ((triple2) -> rule7)) -> rule1))] The cow is kind.[(triple2)] The cow is red.[(triple3 OR ((triple1 ((triple2) -> rule7)) -> rule4) OR ((((triple2) -> rule5) ((triple2) -> rule7)) -> rule4))] @1: The cow is green.[(((triple2) -> rule7))]