The cat is blue. The cat is cold. The cat is green. The cat is kind. The cat is rough. Blue people are kind. Cold people are rough. Cold, rough people are blue.
The cat is not green.
@0: The cat is blue.[(triple1 OR ((triple2 triple5) -> rule3) OR ((triple2 ((triple2) -> rule2)) -> rule3))] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4 OR ((triple1) -> rule1) OR ((((triple2 triple5) -> rule3)) -> rule1) OR ((((triple2 ((triple2) -> rule2)) -> rule3)) -> rule1))] The cat is rough.[(triple5 OR ((triple2) -> rule2))]