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