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