The cat is big. The cat is cold. The cat is green. The cat is kind. The cat is young. All green, kind things are cold.
The cat is not cold.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2 OR ((triple3 triple4) -> rule1))] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is young.[(triple5)]