The cow is blue. The cow is cold. The cow is not nice. The cow is red. The cow is rough. All blue people are rough. If the cow is cold and the cow is red then the cow is rough. All nice people are not blue.
The cow does not need the cow.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is not nice.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5 OR ((triple1) -> rule1) OR ((triple2 triple4) -> rule2))]