The cow is red. Red things are round. Green, round things are young. Round, young things are green. All round things are green. All green things are red. If the cow is green and the cow is red then the cow is kind. If something is young then it is green. If the cow is red then the cow is kind.
The cow does not visit the cow.
@0: The cow is red.[(triple1)] @1: The cow is kind.[(((triple1) -> rule8) OR ((((((triple1) -> rule1)) -> rule4) triple1) -> rule6))] The cow is round.[(((triple1) -> rule1))] @2: The cow is green.[(((((triple1) -> rule1)) -> rule4))] @3: The cow is young.[(((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule2))]