The cow is big. The cow is blue. The cow is not green. The cow is not red. The cow is rough. All rough people are big.
The cow does not need the cow.
@0: The cow is big.[(triple1 OR ((triple5) -> rule1))] The cow is blue.[(triple2)] The cow is not green.[(triple3)] The cow is not red.[(triple4)] The cow is rough.[(triple5)]