The cow is blue. The cow is kind. The cow is nice. The cow is red. The cow is rough. If the cow is kind then the cow is nice. If something is rough then it is kind.
The cow likes the cow.
@0: The cow is blue.[(triple1)] The cow is kind.[(triple2 OR ((triple5) -> rule2))] The cow is nice.[(triple3 OR ((triple2) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] The cow is red.[(triple4)] The cow is rough.[(triple5)]