The cow chases the tiger. The cow eats the tiger. The cow is green. The cow is kind. The cow is nice. The cow is rough. The cow is young. The cow visits the tiger. The tiger chases the cow. The tiger eats the cow. The tiger is kind. The tiger is nice. The tiger is rough. The tiger is young. The tiger visits the cow. If someone is green then they chase the tiger. If someone is young and they chase the cow then they are kind. If someone is young and nice then they eat the cow.
The tiger is not young.
@0: The cow chases the tiger.[(triple1 OR ((triple3) -> rule1))] The cow eats the tiger.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is nice.[(triple5)] The cow is rough.[(triple6)] The cow is young.[(triple7)] The cow visits the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger eats the cow.[(triple10 OR ((triple14 triple12) -> rule3))] The tiger is kind.[(triple11 OR ((triple14 triple9) -> rule2))] The tiger is nice.[(triple12)] The tiger is rough.[(triple13)] The tiger is young.[(triple14)] The tiger visits the cow.[(triple15)] @1: The cow eats the cow.[(((triple7 triple5) -> rule3))]