The cow is nice. All nice, red people are kind. Young people are nice. If someone is young then they are red. All nice people are kind. If someone is green and kind then they are nice. All green, nice people are young. If the cow is kind then the cow is green. All red people are young.
The cow is not nice.
@0: The cow is nice.[(triple1)] @1: The cow is kind.[(((triple1) -> rule4))] @2: The cow is green.[(((((triple1) -> rule4)) -> rule7))] @3: The cow is young.[(((((((triple1) -> rule4)) -> rule7) triple1) -> rule6))] @4: The cow is red.[(((((((((triple1) -> rule4)) -> rule7) triple1) -> rule6)) -> rule3))]