The cow is cold. The cow is not green. The cow is nice. The cow is not red. The cow is rough. All nice people are cold. If someone is green and rough then they are nice. If someone is rough and not nice then they are red.
The cow is red.
@0: The cow is cold.[(triple1 OR ((triple3) -> rule1))] The cow is nice.[(triple3)] The cow is not green.[(triple2)] The cow is not red.[(triple4)] The cow is rough.[(triple5)]