The bear is blue. The bear is nice. The bear is red. The bear likes the lion. The bear needs the dog. The dog chases the lion. The dog is blue. The dog is red. The dog likes the lion. The lion is big. The lion is young. The squirrel chases the bear. The squirrel is blue. The squirrel is nice. The squirrel likes the dog. The squirrel needs the dog. If someone likes the squirrel then they need the squirrel. If someone chases the squirrel and they like the lion then they need the squirrel. If someone needs the squirrel then the squirrel chases the lion. If the dog likes the lion then the dog likes the squirrel. If someone is blue and they chase the bear then they are red. If someone chases the bear and they need the dog then the bear is red.
The squirrel needs the lion.
@0: The bear is blue.[(triple1)] The bear is nice.[(triple2)] The bear is red.[(triple3 OR ((triple12 triple16) -> rule6))] The bear likes the lion.[(triple4)] The bear needs the dog.[(triple5)] The dog chases the lion.[(triple6)] The dog is blue.[(triple7)] The dog is red.[(triple8)] The dog likes the lion.[(triple9)] The lion is big.[(triple10)] The lion is young.[(triple11)] The squirrel chases the bear.[(triple12)] The squirrel is blue.[(triple13)] The squirrel is nice.[(triple14)] The squirrel likes the dog.[(triple15)] The squirrel needs the dog.[(triple16)] @1: The dog likes the squirrel.[(((triple9) -> rule4))] The squirrel is red.[(((triple13 triple12) -> rule5))] @2: The dog needs the squirrel.[(((((triple9) -> rule4)) -> rule1))] @3: The squirrel chases the lion.[(((((((triple9) -> rule4)) -> rule1)) -> rule3))]