The cow is rough. Rough people are red. If the cow is rough then the cow is blue. If the cow is rough and the cow is green then the cow is not nice. If someone is blue and red then they are green. If someone is nice and not blue then they are green. Nice people are green.
The cow is blue.
@0: The cow is rough.[(triple1)] @1: The cow is blue.[(((triple1) -> rule2))] The cow is red.[(((triple1) -> rule1))] @2: The cow is green.[(((((triple1) -> rule2) ((triple1) -> rule1)) -> rule4))] @3: The cow is not nice.[(((triple1 ((((triple1) -> rule2) ((triple1) -> rule1)) -> rule4)) -> rule3))]