The dog is kind. If the dog is kind and the dog is big then the dog is red. All kind people are big. If the dog is not big then the dog is young. All big, red people are young. If someone is kind and not red then they are young. Kind, rough people are not young.
The dog is not big.
@0: The dog is kind.[(triple1)] @1: The dog is big.[(((triple1) -> rule2))] @2: The dog is red.[(((triple1 ((triple1) -> rule2)) -> rule1))] @3: The dog is young.[(((((triple1) -> rule2) ((triple1 ((triple1) -> rule2)) -> rule1)) -> rule4))]