The cat is blue. The cat is cold. The cat is green. The cat is kind. The cat is rough. All green things are blue.
The cat is not cold.
@0: The cat is blue.[(triple1 OR ((triple3) -> rule1))] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is rough.[(triple5)]