The cow does not chase the tiger. The cow is rough. The cow likes the tiger. The rabbit chases the cow. The rabbit chases the tiger. The rabbit is kind. The rabbit is nice. The rabbit is rough. The rabbit sees the cow. The rabbit sees the tiger. The tiger does not chase the cow. The tiger chases the rabbit. The tiger is blue. The tiger is not red. The tiger likes the rabbit. If someone sees the tiger and they chase the tiger then they are rough. If the tiger sees the rabbit then the rabbit sees the cow. If the cow chases the tiger and the rabbit does not like the cow then the tiger does not chase the rabbit. If the cow sees the tiger then the cow chases the rabbit. If someone chases the cow then they are kind. If someone is nice then they do not like the tiger. If someone sees the tiger then the tiger is nice. If someone is red and they like the tiger then the tiger chases the cow.
The tiger does not like the tiger.
@0: The cow does not chase the tiger.[(triple1)] The cow is rough.[(triple2)] The cow likes the tiger.[(triple3)] The rabbit chases the cow.[(triple4)] The rabbit chases the tiger.[(triple5)] The rabbit is kind.[(triple6 OR ((triple4) -> rule5))] The rabbit is nice.[(triple7)] The rabbit is rough.[(triple8 OR ((triple10 triple5) -> rule1))] The rabbit sees the cow.[(triple9)] The rabbit sees the tiger.[(triple10)] The tiger chases the rabbit.[(triple12)] The tiger does not chase the cow.[(triple11)] The tiger is blue.[(triple13)] The tiger is not red.[(triple14)] The tiger likes the rabbit.[(triple15)] @1: The rabbit does not like the tiger.[(((triple7) -> rule6))] The tiger is nice.[(((triple10) -> rule7))] @2: The tiger does not like the tiger.[(((((triple10) -> rule7)) -> rule6))]