The cat is cold. The cat is green. The cat is nice. The cat is red. The cat is young. If someone is cold and not green then they are not young. Young people are cold. Cold people are red.
The cat is green.
@0: The cat is cold.[(triple1 OR ((triple5) -> rule2))] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat is red.[(triple4 OR ((triple1) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] The cat is young.[(triple5)]