The cow is big. If someone is young and round then they are blue. If the cow is blue then the cow is big. If someone is rough then they are young. All big, rough people are blue. Big people are young. All rough people are big. Young people are rough. If someone is round then they are young.
The cow does not like the cow.
@0: The cow is big.[(triple1)] @1: The cow is young.[(((triple1) -> rule5))] @2: The cow is rough.[(((((triple1) -> rule5)) -> rule7))] @3: The cow is blue.[(((triple1 ((((triple1) -> rule5)) -> rule7)) -> rule4))]