The cow is blue. The cow is green. The cow is kind. The cow is red. The cow is round. All red things are blue. Red, green things are round. All red, kind things are blue.
The cow does not visit the cow.
@0: The cow is blue.[(triple1 OR ((triple4) -> rule1) OR ((triple4 triple3) -> rule3))] The cow is green.[(triple2)] The cow is kind.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5 OR ((triple4 triple2) -> rule2))]