The cow is green. The cow is kind. The cow is red. The cow is rough. The cow is round. If something is rough then it is green. Round, rough things are red. All round, green things are red.
The cow is not round.
@0: The cow is green.[(triple1 OR ((triple4) -> rule1))] The cow is kind.[(triple2)] The cow is red.[(triple3 OR ((triple5 triple1) -> rule3) OR ((triple5 triple4) -> rule2) OR ((triple5 ((triple4) -> rule1)) -> rule3))] The cow is rough.[(triple4)] The cow is round.[(triple5)]