The cow is blue. The cow is not kind. The cow is not nice. The cow is not red. The cow is young. If someone is red and not young then they are blue. All young people are blue. Young people are blue.
The cow does not like the cow.
@0: The cow is blue.[(triple1 OR ((triple5) -> rule2) OR ((triple5) -> rule3))] The cow is not kind.[(triple2)] The cow is not nice.[(triple3)] The cow is not red.[(triple4)] The cow is young.[(triple5)]