The cat is nice. Rough, nice things are cold. All nice things are cold. If the cat is kind and the cat is cold then the cat is not rough. If the cat is big then the cat is not rough. If something is rough and cold then it is not nice. Big, kind things are nice. Rough things are nice. Cold things are kind.
The cat does not see the cat.
@0: The cat is nice.[(triple1)] @1: The cat is cold.[(((triple1) -> rule2))] @2: The cat is kind.[(((((triple1) -> rule2)) -> rule8))] @3: The cat is not rough.[(((((((triple1) -> rule2)) -> rule8) ((triple1) -> rule2)) -> rule3))]