The cow is big. The cow is blue. The cow is cold. The cow is kind. The cow is round. If the cow is not blue then the cow is big. If the cow is blue and the cow is kind then the cow is cold.
The cow is kind.
@0: The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3 OR ((triple2 triple4) -> rule2))] The cow is kind.[(triple4)] The cow is round.[(triple5)]