The cow is green. The cow is rough. The cow is young. Big things are young. If the cow is young and the cow is green then the cow is cold. If the cow is green then the cow is big.
The cow is not young.
@0: The cow is green.[(triple1)] The cow is rough.[(triple2)] The cow is young.[(triple3 OR ((((triple1) -> rule3)) -> rule1))] @1: The cow is big.[(((triple1) -> rule3))] The cow is cold.[(((triple3 triple1) -> rule2) OR ((((((triple1) -> rule3)) -> rule1) triple1) -> rule2))]