The dog chases the tiger. The dog is kind. The dog does not need the lion. The dog does not see the tiger. The lion chases the tiger. The lion is not big. The lion needs the dog. The lion sees the dog. The tiger does not chase the lion. The tiger is blue. The tiger is kind. The tiger is rough. If something chases the tiger and it needs the dog then it is rough. If something is red then it needs the tiger.
The tiger is not kind.
@0: The dog chases the tiger.[(triple1)] The dog does not need the lion.[(triple3)] The dog does not see the tiger.[(triple4)] The dog is kind.[(triple2)] The lion chases the tiger.[(triple5)] The lion is not big.[(triple6)] The lion needs the dog.[(triple7)] The lion sees the dog.[(triple8)] The tiger does not chase the lion.[(triple9)] The tiger is blue.[(triple10)] The tiger is kind.[(triple11)] The tiger is rough.[(triple12)] @1: The lion is rough.[(((triple5 triple7) -> rule1))]