The bear chases the dog. The bear eats the dog. The bear is blue. The bear is kind. The bear is rough. The bear is round. The bear is young. The bear needs the dog. The dog chases the bear. The dog eats the bear. The dog is blue. The dog is kind. The dog is rough. The dog is round. The dog is young. The dog needs the bear. If someone needs the bear then the bear is rough. If someone is round and they eat the bear then they need the dog. If the bear chases the dog and the dog chases the bear then the dog eats the bear. If someone needs the bear and they are rough then the bear is blue. If the dog eats the bear then the bear needs the dog. If someone needs the dog then they chase the dog. If someone is rough then they chase the bear. If someone chases the dog then they eat the dog.
The dog does not need the bear.
@0: The bear chases the dog.[(triple1 OR ((triple8) -> rule6) OR ((((triple10) -> rule5)) -> rule6))] The bear eats the dog.[(triple2 OR ((triple1) -> rule8) OR ((((triple8) -> rule6)) -> rule8) OR ((((((triple10) -> rule5)) -> rule6)) -> rule8))] The bear is blue.[(triple3 OR ((triple16 triple13) -> rule4))] The bear is kind.[(triple4)] The bear is rough.[(triple5 OR ((triple16) -> rule1))] The bear is round.[(triple6)] The bear is young.[(triple7)] The bear needs the dog.[(triple8 OR ((triple10) -> rule5) OR ((((triple1 triple9) -> rule3)) -> rule5) OR ((((triple1 ((triple13) -> rule7)) -> rule3)) -> rule5))] The dog chases the bear.[(triple9 OR ((triple13) -> rule7))] The dog eats the bear.[(triple10 OR ((triple1 triple9) -> rule3) OR ((triple1 ((triple13) -> rule7)) -> rule3) OR ((((triple8) -> rule6) triple9) -> rule3) OR ((((triple8) -> rule6) ((triple13) -> rule7)) -> rule3))] The dog is blue.[(triple11)] The dog is kind.[(triple12)] The dog is rough.[(triple13)] The dog is round.[(triple14)] The dog is young.[(triple15)] The dog needs the bear.[(triple16)] @1: The bear chases the bear.[(((triple5) -> rule7) OR ((((triple16) -> rule1)) -> rule7))] The dog needs the dog.[(((triple14 triple10) -> rule2) OR ((triple14 ((triple1 triple9) -> rule3)) -> rule2) OR ((triple14 ((triple1 ((triple13) -> rule7)) -> rule3)) -> rule2) OR ((triple14 ((((triple8) -> rule6) triple9) -> rule3)) -> rule2) OR ((triple14 ((((triple8) -> rule6) ((triple13) -> rule7)) -> rule3)) -> rule2))] @2: The dog chases the dog.[(((((triple14 triple10) -> rule2)) -> rule6) OR ((((triple14 ((triple1 triple9) -> rule3)) -> rule2)) -> rule6) OR ((((triple14 ((triple1 ((triple13) -> rule7)) -> rule3)) -> rule2)) -> rule6) OR ((((triple14 ((((triple8) -> rule6) triple9) -> rule3)) -> rule2)) -> rule6) OR ((((triple14 ((((triple8) -> rule6) ((triple13) -> rule7)) -> rule3)) -> rule2)) -> rule6))] @3: The dog eats the dog.[(((((((triple14 triple10) -> rule2)) -> rule6)) -> rule8) OR ((((((triple14 ((triple1 triple9) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((((((triple14 ((triple1 ((triple13) -> rule7)) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((((((triple14 ((((triple8) -> rule6) triple9) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((((((triple14 ((((triple8) -> rule6) ((triple13) -> rule7)) -> rule3)) -> rule2)) -> rule6)) -> rule8))]