The bear chases the dog. The bear is blue. The bear is red. The bear is rough. The bear is young. The bear sees the dog. The dog chases the bear. The dog is green. The dog likes the bear. The dog sees the bear. If someone sees the dog and they are green then the dog is green. If someone sees the dog then the dog likes the bear. If someone sees the dog then they like the bear. If the bear is rough then the bear is young. If the bear chases the dog and the bear likes the dog then the bear sees the dog. If the dog likes the bear then the bear likes the dog.
The dog is young.
@0: The bear chases the dog.[(triple1)] The bear is blue.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5 OR ((triple4) -> rule4))] The bear sees the dog.[(triple6 OR ((triple1 ((triple9) -> rule6)) -> rule5))] The dog chases the bear.[(triple7)] The dog is green.[(triple8)] The dog likes the bear.[(triple9 OR ((triple6) -> rule2))] The dog sees the bear.[(triple10)] @1: The bear likes the bear.[(((triple6) -> rule3) OR ((((triple1 ((triple9) -> rule6)) -> rule5)) -> rule3))] The bear likes the dog.[(((triple9) -> rule6) OR ((((triple6) -> rule2)) -> rule6))]