The bear eats the dog. The bear eats the rabbit. The bear is blue. The bear is cold. The bear needs the dog. The bear needs the rabbit. The bear visits the rabbit. The dog is blue. The dog is cold. The dog is kind. The dog visits the bear. The dog visits the rabbit. The rabbit eats the bear. The rabbit needs the dog. The rabbit visits the bear. The rabbit visits the dog. If something visits the rabbit and the rabbit visits the dog then the rabbit is kind. If something visits the rabbit and it is kind then it eats the rabbit. If something is kind then it visits the rabbit. If something needs the rabbit then the rabbit visits the dog. If something needs the bear then the bear needs the rabbit. If something is blue and it eats the rabbit then the rabbit eats the dog.
The bear does not need the bear.
@0: The bear eats the dog.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear needs the dog.[(triple5)] The bear needs the rabbit.[(triple6)] The bear visits the rabbit.[(triple7)] The dog is blue.[(triple8)] The dog is cold.[(triple9)] The dog is kind.[(triple10)] The dog visits the bear.[(triple11)] The dog visits the rabbit.[(triple12 OR ((triple10) -> rule3))] The rabbit eats the bear.[(triple13)] The rabbit needs the dog.[(triple14)] The rabbit visits the bear.[(triple15)] The rabbit visits the dog.[(triple16 OR ((triple6) -> rule4))] @1: The dog eats the rabbit.[(((triple12 triple10) -> rule2) OR ((((triple10) -> rule3) triple10) -> rule2))] The rabbit eats the dog.[(((triple3 triple2) -> rule6) OR ((triple8 ((triple12 triple10) -> rule2)) -> rule6) OR ((triple8 ((((triple10) -> rule3) triple10) -> rule2)) -> rule6))] The rabbit is kind.[(((triple12 triple16) -> rule1) OR ((triple7 triple16) -> rule1) OR ((triple12 ((triple6) -> rule4)) -> rule1) OR ((triple7 ((triple6) -> rule4)) -> rule1) OR ((((triple10) -> rule3) triple16) -> rule1) OR ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1))] @2: The rabbit visits the rabbit.[(((((triple12 triple16) -> rule1)) -> rule3) OR ((((triple7 triple16) -> rule1)) -> rule3) OR ((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) OR ((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) OR ((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) OR ((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3))] @3: The rabbit eats the rabbit.[(((((((triple12 triple16) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((triple12 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 triple16) -> rule1)) -> rule2) OR ((((((triple12 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7 ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) triple16) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple12 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple7 ((triple6) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) triple16) -> rule1)) -> rule2) OR ((((((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule3) ((((triple10) -> rule3) ((triple6) -> rule4)) -> rule1)) -> rule2))]