The cat is cold. The cat is green. The cat is kind. The cat is nice. The cat is young. Green people are kind.
The cat eats the cat.
@0: The cat is cold.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3 OR ((triple2) -> rule1))] The cat is nice.[(triple4)] The cat is young.[(triple5)]