The cow is rough. If the cow is green then the cow is blue. All blue, rough things are not big. If the cow is rough then the cow is green. All green things are blue. If the cow is blue and the cow is not green then the cow is big. Rough, big things are young.
The cow is big.
@0: The cow is rough.[(triple1)] @1: The cow is green.[(((triple1) -> rule3))] @2: The cow is blue.[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule4))] @3: The cow is not big.[(((((((triple1) -> rule3)) -> rule1) triple1) -> rule2) OR ((((((triple1) -> rule3)) -> rule4) triple1) -> rule2))]