The cow is young. Kind things are red. If something is nice then it is red. All red things are kind. If something is red then it is kind. If the cow is young then the cow is nice. If the cow is young then the cow is nice. Red, young things are nice. If something is nice and not red then it is round.
The cow is kind.
@0: The cow is young.[(triple1)] @1: The cow is nice.[(((triple1) -> rule5) OR ((triple1) -> rule6))] @2: The cow is red.[(((((triple1) -> rule5)) -> rule2) OR ((((triple1) -> rule6)) -> rule2))] @3: The cow is kind.[(((((((triple1) -> rule5)) -> rule2)) -> rule3) OR ((((((triple1) -> rule5)) -> rule2)) -> rule4) OR ((((((triple1) -> rule6)) -> rule2)) -> rule3) OR ((((((triple1) -> rule6)) -> rule2)) -> rule4))]