The cow is not big. The cow is not blue. The cow is kind. The cow is red. The cow is rough. If someone is rough then they are red. All kind people are not blue. If someone is kind and not rough then they are big.
The cow visits the cow.
@0: The cow is kind.[(triple3)] The cow is not big.[(triple1)] The cow is not blue.[(triple2 OR ((triple3) -> rule2))] The cow is red.[(triple4 OR ((triple5) -> rule1))] The cow is rough.[(triple5)]