The cow is big. The cow is blue. The cow is kind. The cow is nice. The cow is red. All blue, nice people are kind. All big, nice people are red.
The cow chases the cow.
@0: The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow is kind.[(triple3 OR ((triple2 triple4) -> rule1))] The cow is nice.[(triple4)] The cow is red.[(triple5 OR ((triple1 triple4) -> rule2))]