The bear is round. The bear is young. The bear visits the dog. The dog eats the bear. The dog is big. The dog is green. The dog visits the bear. If someone eats the dog and the dog is red then the dog is not green. If someone chases the dog and the dog visits the bear then they visit the bear. If someone is green then they visit the bear. If someone visits the bear then they chase the bear. If someone is green then they chase the bear. If someone eats the bear and they are not young then they do not chase the bear. If someone is big then they chase the dog. If someone chases the bear then the bear chases the dog.
The bear chases the dog.
@0: The bear is round.[(triple1)] The bear is young.[(triple2)] The bear visits the dog.[(triple3)] The dog eats the bear.[(triple4)] The dog is big.[(triple5)] The dog is green.[(triple6)] The dog visits the bear.[(triple7 OR ((triple6) -> rule3))] @1: The dog chases the bear.[(((triple6) -> rule5) OR ((triple7) -> rule4) OR ((((triple6) -> rule3)) -> rule4))] The dog chases the dog.[(((triple5) -> rule7))] @2: The bear chases the dog.[(((((triple6) -> rule5)) -> rule8) OR ((((triple7) -> rule4)) -> rule8) OR ((((((triple6) -> rule3)) -> rule4)) -> rule8))] @3: The bear visits the bear.[(((((((triple6) -> rule5)) -> rule8) triple7) -> rule2) OR ((((((triple7) -> rule4)) -> rule8) triple7) -> rule2) OR ((((((triple6) -> rule5)) -> rule8) ((triple6) -> rule3)) -> rule2) OR ((((((triple7) -> rule4)) -> rule8) ((triple6) -> rule3)) -> rule2) OR ((((((((triple6) -> rule3)) -> rule4)) -> rule8) triple7) -> rule2) OR ((((((((triple6) -> rule3)) -> rule4)) -> rule8) ((triple6) -> rule3)) -> rule2))] @4: The bear chases the bear.[(((((((((triple6) -> rule5)) -> rule8) triple7) -> rule2)) -> rule4) OR ((((((((triple7) -> rule4)) -> rule8) triple7) -> rule2)) -> rule4) OR ((((((((triple6) -> rule5)) -> rule8) ((triple6) -> rule3)) -> rule2)) -> rule4) OR ((((((((triple7) -> rule4)) -> rule8) ((triple6) -> rule3)) -> rule2)) -> rule4) OR ((((((((((triple6) -> rule3)) -> rule4)) -> rule8) triple7) -> rule2)) -> rule4) OR ((((((((((triple6) -> rule3)) -> rule4)) -> rule8) ((triple6) -> rule3)) -> rule2)) -> rule4))]