The cow is cold. The cow is kind. The cow is red. The cow is round. The cow is young. If someone is round then they are red.
The cow is not cold.
@0: The cow is cold.[(triple1)] The cow is kind.[(triple2)] The cow is red.[(triple3 OR ((triple4) -> rule1))] The cow is round.[(triple4)] The cow is young.[(triple5)]