The bear is big. The bear is blue. The bear is nice. The bear likes the dog. The bear needs the dog. The dog chases the bear. The dog is big. The dog is not cold. The dog likes the bear. The dog needs the bear. If someone chases the bear then they like the bear. If the bear likes the dog then the bear does not chase the dog. If the dog chases the bear and the bear does not like the dog then the bear does not chase the dog. If the bear likes the dog and the dog does not chase the bear then the dog does not need the bear. If someone needs the dog and they do not chase the dog then they are red. If someone chases the dog and the dog does not like the bear then they are not blue.
The dog does not like the dog.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear likes the dog.[(triple4)] The bear needs the dog.[(triple5)] The dog chases the bear.[(triple6)] The dog is big.[(triple7)] The dog is not cold.[(triple8)] The dog likes the bear.[(triple9 OR ((triple6) -> rule1))] The dog needs the bear.[(triple10)] @1: The bear does not chase the dog.[(((triple4) -> rule2))] @2: The bear is red.[(((triple5 ((triple4) -> rule2)) -> rule5))]