The cow is big. The cow is green. The cow is red. The cow is rough. The cow is round. If someone is big and red then they are green. All round, green people are rough. If the cow is rough then the cow is red.
The cow chases the cow.
@0: The cow is big.[(triple1)] The cow is green.[(triple2 OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple4) -> rule3)) -> rule1))] The cow is red.[(triple3 OR ((triple4) -> rule3) OR ((((triple5 triple2) -> rule2)) -> rule3))] The cow is rough.[(triple4 OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple1 triple3) -> rule1)) -> rule2))] The cow is round.[(triple5)]