The cow is young. All green, cold people are young. If someone is young then they are cold. If someone is green then they are red. All cold people are green. If the cow is green then the cow is cold. All cold, young people are green.
The cow is not green.
@0: The cow is young.[(triple1)] @1: The cow is cold.[(((triple1) -> rule2))] @2: The cow is green.[(((((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule2) triple1) -> rule6))] @3: The cow is red.[(((((((triple1) -> rule2)) -> rule4)) -> rule3) OR ((((((triple1) -> rule2) triple1) -> rule6)) -> rule3))]