The cat is cold. If something is cold then it is kind. Nice, kind things are blue. Cold things are kind. All kind, cold things are nice. Cold, blue things are kind. If something is cold and kind then it is red.
The cat is not cold.
@0: The cat is cold.[(triple1)] @1: The cat is kind.[(((triple1) -> rule1) OR ((triple1) -> rule3))] @2: The cat is nice.[(((((triple1) -> rule1) triple1) -> rule4) OR ((((triple1) -> rule3) triple1) -> rule4))] The cat is red.[(((triple1 ((triple1) -> rule1)) -> rule6) OR ((triple1 ((triple1) -> rule3)) -> rule6))] @3: The cat is blue.[(((((((triple1) -> rule1) triple1) -> rule4) ((triple1) -> rule1)) -> rule2) OR ((((((triple1) -> rule1) triple1) -> rule4) ((triple1) -> rule3)) -> rule2) OR ((((((triple1) -> rule3) triple1) -> rule4) ((triple1) -> rule1)) -> rule2) OR ((((((triple1) -> rule3) triple1) -> rule4) ((triple1) -> rule3)) -> rule2))]