The cat is green. All nice, rough people are green. If someone is green then they are rough. Green, blue people are rough. If someone is green then they are nice. If the cat is green and the cat is rough then the cat is cold. If the cat is rough then the cat is green. If someone is cold then they are blue. If someone is rough then they are nice.
The cat is not rough.
@0: The cat is green.[(triple1)] @1: The cat is nice.[(((triple1) -> rule4) OR ((((triple1) -> rule2)) -> rule8))] The cat is rough.[(((triple1) -> rule2))] @2: The cat is cold.[(((triple1 ((triple1) -> rule2)) -> rule5))] @3: The cat is blue.[(((((triple1 ((triple1) -> rule2)) -> rule5)) -> rule7))]