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