The cow is young. If the cow is kind and the cow is blue then the cow is round. If the cow is young then the cow is round. All green things are kind. Blue, round things are kind. All young, green things are blue. Round things are blue.
The cow does not like the cow.
@0: The cow is young.[(triple1)] @1: The cow is round.[(((triple1) -> rule2))] @2: The cow is blue.[(((((triple1) -> rule2)) -> rule6))] @3: The cow is kind.[(((((((triple1) -> rule2)) -> rule6) ((triple1) -> rule2)) -> rule4))]