The cow chases the tiger. The cow is big. The cow is kind. The cow is nice. The cow is red. The cow is young. The cow likes the tiger. The cow sees the tiger. The tiger chases the cow. The tiger is big. The tiger is kind. The tiger is nice. The tiger is red. The tiger is young. The tiger likes the cow. The tiger sees the cow. If someone chases the cow then the cow chases the tiger. If someone chases the cow and they are red then they are big. If someone chases the cow then the cow likes the tiger. If someone is kind then they like the tiger. If someone is big then they like the cow. If the cow likes the tiger then the tiger sees the cow.
The cow is big.
@0: The cow chases the tiger.[(triple1 OR ((triple9) -> rule1))] The cow is big.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is red.[(triple5)] The cow is young.[(triple6)] The cow likes the tiger.[(triple7 OR ((triple3) -> rule4) OR ((triple9) -> rule3))] The cow sees the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger is big.[(triple10 OR ((triple9 triple13) -> rule2))] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger is young.[(triple14)] The tiger likes the cow.[(triple15 OR ((triple10) -> rule5) OR ((((triple9 triple13) -> rule2)) -> rule5))] The tiger sees the cow.[(triple16 OR ((triple7) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((triple9) -> rule3)) -> rule6))] @1: The cow likes the cow.[(((triple2) -> rule5))] The tiger likes the tiger.[(((triple11) -> rule4))]