The cow is round. All kind people are young. If someone is round and red then they are young. If someone is young then they are round. If the cow is round and the cow is young then the cow is kind. Round people are red. All round, kind people are young.
The cow is not kind.
@0: The cow is round.[(triple1)] @1: The cow is red.[(((triple1) -> rule5))] @2: The cow is young.[(((triple1 ((triple1) -> rule5)) -> rule2))] @3: The cow is kind.[(((triple1 ((triple1 ((triple1) -> rule5)) -> rule2)) -> rule4))]