The cat is kind. All rough, green things are kind. If something is kind and green then it is young. If something is red then it is young. If the cat is kind and the cat is rough then the cat is young. All kind things are red. Young, kind things are red.
The cat does not eat the cat.
@0: The cat is kind.[(triple1)] @1: The cat is red.[(((triple1) -> rule5))] @2: The cat is young.[(((((triple1) -> rule5)) -> rule3))]