The bear eats the dog. The bear is green. The bear is rough. The bear likes the dog. The bear needs the dog. The dog eats the bear. The dog is green. The dog is rough. The dog likes the bear. The dog needs the bear. If someone likes the dog then they are kind. If someone likes the dog then the dog is nice. If someone eats the dog and they like the bear then they eat the bear. If someone is nice then they eat the bear. If someone likes the dog then the dog likes the bear. If the dog needs the bear and the dog is kind then the bear needs the dog. If the dog eats the bear then the dog likes the bear. If someone eats the dog and they eat the bear then the bear needs the dog.
The dog is green.
@0: The bear eats the dog.[(triple1)] The bear is green.[(triple2)] The bear is rough.[(triple3)] The bear likes the dog.[(triple4)] The bear needs the dog.[(triple5)] The dog eats the bear.[(triple6 OR ((((triple4) -> rule2)) -> rule4))] The dog is green.[(triple7)] The dog is rough.[(triple8)] The dog likes the bear.[(triple9 OR ((triple4) -> rule5) OR ((triple6) -> rule7) OR ((((((triple4) -> rule2)) -> rule4)) -> rule7))] The dog needs the bear.[(triple10)] @1: The bear is kind.[(((triple4) -> rule1))] The dog is nice.[(((triple4) -> rule2))]