The cat is big. The cat is cold. The cat is green. The cat is nice. The cat is round. If someone is nice then they are round.
The cat is not green.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat is round.[(triple5 OR ((triple4) -> rule1))]