The cat is cold. The cat is not green. The cat is nice. The cat is rough. The cat is young. All young people are cold. Rough people are not green.
The cat does not eat the cat.
@0: The cat is cold.[(triple1 OR ((triple5) -> rule1))] The cat is nice.[(triple3)] The cat is not green.[(triple2 OR ((triple4) -> rule2))] The cat is rough.[(triple4)] The cat is young.[(triple5)]