The cow is big. The cow is cold. The cow is green. The cow is kind. The cow is young. If the cow is green then the cow is big.
The cow is not young.
@0: The cow is big.[(triple1 OR ((triple3) -> rule1))] The cow is cold.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is young.[(triple5)]