The cow is not big. The cow is blue. The cow is not kind. The cow is red. The cow is round. Red, blue things are not kind. All big, kind things are blue.
The cow does not like the cow.
@0: The cow is blue.[(triple2)] The cow is not big.[(triple1)] The cow is not kind.[(triple3 OR ((triple4 triple2) -> rule1))] The cow is red.[(triple4)] The cow is round.[(triple5)]