The cat is blue. The cat is cold. The cat is nice. All nice things are cold. If the cat is cold and the cat is blue then the cat is nice. If something is rough and round then it is not blue.
The cat is not cold.
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2 OR ((triple3) -> rule1))] The cat is nice.[(triple3 OR ((triple2 triple1) -> rule2))]