The bear does not chase the dog. The bear chases the tiger. The bear likes the dog. The bear likes the tiger. The bear needs the dog. The dog chases the tiger. The dog is round. The tiger chases the dog. The tiger is nice. The tiger is rough. If something is rough and it does not chase the dog then the dog likes the bear. If something likes the dog and it is not nice then it is not rough. If something likes the dog and it likes the tiger then it is rough. If something chases the tiger then the tiger likes the dog. If something needs the tiger and it likes the dog then the tiger likes the dog. If something is round then it chases the bear.
The dog needs the tiger.
@0: The bear chases the tiger.[(triple2)] The bear does not chase the dog.[(triple1)] The bear likes the dog.[(triple3)] The bear likes the tiger.[(triple4)] The bear needs the dog.[(triple5)] The dog chases the tiger.[(triple6)] The dog is round.[(triple7)] The tiger chases the dog.[(triple8)] The tiger is nice.[(triple9)] The tiger is rough.[(triple10)] @1: The bear is rough.[(((triple3 triple4) -> rule3))] The dog chases the bear.[(((triple7) -> rule6))] The tiger likes the dog.[(((triple2) -> rule4) OR ((triple6) -> rule4))] @2: The dog likes the bear.[(((((triple3 triple4) -> rule3) triple1) -> rule1))]