The cow is big. The cow is green. The cow is kind. The cow is nice. The cow is rough. All kind, rough things are big. Green things are kind. If the cow is green then the cow is rough.
The cow likes the cow.
@0: The cow is big.[(triple1 OR ((triple3 triple5) -> rule1) OR ((triple3 ((triple2) -> rule3)) -> rule1) OR ((((triple2) -> rule2) triple5) -> rule1) OR ((((triple2) -> rule2) ((triple2) -> rule3)) -> rule1))] The cow is green.[(triple2)] The cow is kind.[(triple3 OR ((triple2) -> rule2))] The cow is nice.[(triple4)] The cow is rough.[(triple5 OR ((triple2) -> rule3))]