The cow chases the lion. The cow chases the tiger. The cow is round. The cow needs the lion. The cow sees the tiger. The lion is red. The lion is round. The lion needs the tiger. The lion sees the cow. The tiger chases the cow. The tiger is blue. The tiger is kind. The tiger is rough. The tiger sees the cow. The tiger sees the lion. If the cow is round and the cow chases the lion then the cow is rough.
The tiger does not see the lion.
@0: The cow chases the lion.[(triple1)] The cow chases the tiger.[(triple2)] The cow is round.[(triple3)] The cow needs the lion.[(triple4)] The cow sees the tiger.[(triple5)] The lion is red.[(triple6)] The lion is round.[(triple7)] The lion needs the tiger.[(triple8)] The lion sees the cow.[(triple9)] The tiger chases the cow.[(triple10)] The tiger is blue.[(triple11)] The tiger is kind.[(triple12)] The tiger is rough.[(triple13)] The tiger sees the cow.[(triple14)] The tiger sees the lion.[(triple15)] @1: The cow is rough.[(((triple3 triple1) -> rule1))]