The cow is kind. The cow is rough. The cow likes the tiger. The cow needs the tiger. The tiger chases the cow. The tiger is blue. The tiger is kind. The tiger is red. The tiger is not rough. The tiger is young. The tiger likes the cow. The tiger does not need the cow. If the cow does not chase the tiger and the cow does not need the tiger then the cow is kind. If the tiger needs the cow and the cow needs the tiger then the tiger does not like the cow. If the tiger is kind and the tiger is red then the tiger likes the cow. If the tiger does not chase the cow then the tiger needs the cow. If someone likes the cow then the cow is red. If someone is young and not red then they do not like the tiger.
The tiger does not chase the tiger.
@0: The cow is kind.[(triple1)] The cow is rough.[(triple2)] The cow likes the tiger.[(triple3)] The cow needs the tiger.[(triple4)] The tiger chases the cow.[(triple5)] The tiger does not need the cow.[(triple12)] The tiger is blue.[(triple6)] The tiger is kind.[(triple7)] The tiger is not rough.[(triple9)] The tiger is red.[(triple8)] The tiger is young.[(triple10)] The tiger likes the cow.[(triple11 OR ((triple7 triple8) -> rule3))] @1: The cow is red.[(((triple11) -> rule5) OR ((((triple7 triple8) -> rule3)) -> rule5))]