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 green. If something is green then it is rough. Nice, kind things are big. Kind things are big. All kind things are nice. Green things are rough.
The cow chases the cow.
@0: The cow is big.[(triple1 OR ((triple3) -> rule4) OR ((triple4 triple3) -> rule3) OR ((((triple3) -> rule5) triple3) -> rule3))] The cow is green.[(triple2 OR ((triple3 triple5) -> rule1))] The cow is kind.[(triple3)] The cow is nice.[(triple4 OR ((triple3) -> rule5))] The cow is rough.[(triple5 OR ((triple2) -> rule2) OR ((triple2) -> rule6))]