The cow is cold. The cow is kind. The cow is nice. The cow is rough. The cow is round. All kind things are rough. If the cow is cold then the cow is nice.
The cow eats the cow.
@0: The cow is cold.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3 OR ((triple1) -> rule2))] The cow is rough.[(triple4 OR ((triple2) -> rule1))] The cow is round.[(triple5)]