The bear is green. The bear needs the dog. The bear needs the tiger. The dog eats the squirrel. The squirrel is nice. The squirrel is rough. The tiger is cold. If someone is big then they eat the tiger. If someone needs the tiger and they are nice then they eat the squirrel. If someone likes the dog then the dog eats the bear. All rough people are nice. If someone needs the bear and the bear is rough then the bear is nice. If someone likes the dog then the dog is big. If someone is green and cold then they need the bear. If someone is rough then they are big.
The dog is not big.
@0: The bear is green.[(triple1)] The bear needs the dog.[(triple2)] The bear needs the tiger.[(triple3)] The dog eats the squirrel.[(triple4)] The squirrel is nice.[(triple5 OR ((triple6) -> rule4))] The squirrel is rough.[(triple6)] The tiger is cold.[(triple7)] @1: The squirrel is big.[(((triple6) -> rule8))] @2: The squirrel eats the tiger.[(((((triple6) -> rule8)) -> rule1))]