The dog is kind. All rough, young people are round. All kind people are red. If the dog is young then the dog is red. Rough, young people are kind. If the dog is red then the dog is young. Red people are rough. If the dog is young and the dog is kind then the dog is red. If the dog is round then the dog is kind.
The dog is kind.
@0: The dog is kind.[(triple1)] @1: The dog is red.[(((triple1) -> rule2))] @2: The dog is rough.[(((((triple1) -> rule2)) -> rule6))] The dog is young.[(((((triple1) -> rule2)) -> rule5))] @3: The dog is round.[(((((((triple1) -> rule2)) -> rule6) ((((triple1) -> rule2)) -> rule5)) -> rule1))]