The cow is round. If the cow is rough and the cow is not round then the cow is not big. If the cow is rough then the cow is big. If the cow is young then the cow is rough. Round people are nice. If the cow is big then the cow is young. Round people are big.
The cow is round.
@0: The cow is round.[(triple1)] @1: The cow is big.[(((triple1) -> rule6))] The cow is nice.[(((triple1) -> rule4))] @2: The cow is young.[(((((triple1) -> rule6)) -> rule5))] @3: The cow is rough.[(((((((triple1) -> rule6)) -> rule5)) -> rule3))]