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