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