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