The cow is big. If the cow is big then the cow is cold. If the cow is big and the cow is cold then the cow is rough. All big things are cold. If something is green and big then it is young. If something is young then it is not green. If something is young and not rough then it is green. Big, young things are green. If something is big and not rough then it is green.
The cow does not like the cow.
@0: The cow is big.[(triple1)] @1: The cow is cold.[(((triple1) -> rule1) OR ((triple1) -> rule3))] @2: The cow is rough.[(((triple1 ((triple1) -> rule1)) -> rule2) OR ((triple1 ((triple1) -> rule3)) -> rule2))]