The cow is nice. The cow is rough. The cow is round. If something is big then it is rough. If something is big then it is nice. If something is green then it is nice. If something is rough then it is round. Big things are round. All round things are not big. All round, green things are big. All big things are not green.
The cow needs the cow.
@0: The cow is nice.[(triple1)] The cow is rough.[(triple2)] The cow is round.[(triple3 OR ((triple2) -> rule4))] @1: The cow is not big.[(((triple3) -> rule6) OR ((((triple2) -> rule4)) -> rule6))]