The cow chases the tiger. The cow is rough. The cow likes the tiger. The cow sees the tiger. The tiger chases the cow. The tiger likes the cow. The tiger sees the cow. If someone is cold and they like the tiger then they chase the cow. If the tiger likes the cow and the tiger is blue then the cow likes the tiger. If someone sees the tiger and they are rough then the tiger is nice. If someone is kind then they chase the cow. If the tiger sees the cow and the tiger is rough then the tiger chases the cow. If someone chases the tiger then they are rough. If someone likes the cow and the cow is nice then the cow likes the tiger. If someone is cold then they see the cow.
The tiger sees the tiger.
@0: The cow chases the tiger.[(triple1)] The cow is rough.[(triple2 OR ((triple1) -> rule6))] The cow likes the tiger.[(triple3)] The cow sees the tiger.[(triple4)] The tiger chases the cow.[(triple5)] The tiger likes the cow.[(triple6)] The tiger sees the cow.[(triple7)] @1: The tiger is nice.[(((triple4 triple2) -> rule3) OR ((triple4 ((triple1) -> rule6)) -> rule3))]