The bear is big. The bear is not blue. The bear is green. The bear likes the tiger. The bear needs the squirrel. The bear needs the tiger. The squirrel likes the bear. The tiger is blue. The tiger is not red. The tiger needs the squirrel. If someone is big then they like the squirrel. If someone needs the bear and the bear is young then they like the bear. If someone visits the tiger and the tiger visits the bear then the bear needs the tiger. If someone visits the squirrel then they do not need the bear. If someone likes the squirrel and the squirrel visits the tiger then the tiger does not need the squirrel. If someone is blue and they like the tiger then the tiger is red. If someone needs the bear and they are not big then the bear is red. If someone is big and not young then they visit the bear.
The bear visits the tiger.
@0: The bear is big.[(triple1)] The bear is green.[(triple3)] The bear is not blue.[(triple2)] The bear likes the tiger.[(triple4)] The bear needs the squirrel.[(triple5)] The bear needs the tiger.[(triple6)] The squirrel likes the bear.[(triple7)] The tiger is blue.[(triple8)] The tiger is not red.[(triple9)] The tiger needs the squirrel.[(triple10)] @1: The bear likes the squirrel.[(((triple1) -> rule1))]