The cat is not round. All red people are kind. All round people are kind. If the cat is not round then the cat is red. If someone is kind then they are green. If the cat is red and the cat is not kind then the cat is not rough. If the cat is not kind then the cat is rough.
The cat is red.
@0: The cat is not round.[(triple1)] @1: The cat is red.[(((triple1) -> rule3))] @2: The cat is kind.[(((((triple1) -> rule3)) -> rule1))] @3: The cat is green.[(((((((triple1) -> rule3)) -> rule1)) -> rule4))]