The cat is cold. The cat is green. The cat is nice. The cat is rough. The cat is young. If something is rough then it is cold.
The cat is young.
@0: The cat is cold.[(triple1 OR ((triple4) -> rule1))] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat is rough.[(triple4)] The cat is young.[(triple5)]