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