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 young.
@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)]