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