The cow is big. The cow is cold. The cow is not green. The cow is kind. The cow is red. If the cow is not red then the cow is kind. All cold people are big.
The cow chases the cow.
@0: The cow is big.[(triple1 OR ((triple2) -> rule2))] The cow is cold.[(triple2)] The cow is kind.[(triple4)] The cow is not green.[(triple3)] The cow is red.[(triple5)]