The cat is big. The cat is cold. The cat is green. The cat is round. The cat is young. Round, big things are young. If something is big and green then it is young.
The cat is not round.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5 OR ((triple1 triple3) -> rule2) OR ((triple4 triple1) -> rule1))]