The cow is not blue. The cow is red. The cow is rough. The cow is round. The cow is young. All young, round people are not blue.
The cow likes the cow.
@0: The cow is not blue.[(triple1 OR ((triple5 triple4) -> rule1))] The cow is red.[(triple2)] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)]