The dog is rough. If the dog is rough and the dog is not blue then the dog is red. Round people are kind. If the dog is rough then the dog is round. If the dog is blue and the dog is not round then the dog is kind. Kind people are red. If someone is blue and rough then they are red.
The dog is rough.
@0: The dog is rough.[(triple1)] @1: The dog is round.[(((triple1) -> rule3))] @2: The dog is kind.[(((((triple1) -> rule3)) -> rule2))] @3: The dog is red.[(((((((triple1) -> rule3)) -> rule2)) -> rule5))]