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