The dog chases the tiger. The dog is green. The dog is round. The dog is young. The dog likes the tiger. The dog visits the tiger. The tiger chases the dog. The tiger is red. The tiger likes the dog. The tiger visits the dog. If something is kind and it visits the tiger then the tiger chases the dog. If something chases the tiger and it likes the tiger then it likes the dog. If something likes the tiger then it chases the dog. If something visits the tiger and it chases the dog then it likes the dog. If something visits the dog then the dog visits the tiger. If something chases the dog and the dog visits the tiger then it visits the dog. If something likes the tiger and the tiger is green then it visits the tiger. If something visits the dog then it is kind.
The dog does not chase the dog.
@0: The dog chases the tiger.[(triple1)] The dog is green.[(triple2)] The dog is round.[(triple3)] The dog is young.[(triple4)] The dog likes the tiger.[(triple5)] The dog visits the tiger.[(triple6 OR ((triple10) -> rule5))] The tiger chases the dog.[(triple7 OR ((((((((triple5) -> rule3) triple6) -> rule6)) -> rule8) triple6) -> rule1) OR ((((((((triple5) -> rule3) triple6) -> rule6)) -> rule8) ((triple10) -> rule5)) -> rule1) OR ((((((((triple5) -> rule3) ((triple10) -> rule5)) -> rule6)) -> rule8) triple6) -> rule1) OR ((((((((triple5) -> rule3) ((triple10) -> rule5)) -> rule6)) -> rule8) ((triple10) -> rule5)) -> rule1))] The tiger is red.[(triple8)] The tiger likes the dog.[(triple9)] The tiger visits the dog.[(triple10 OR ((triple7 triple6) -> rule6) OR ((((((((((triple5) -> rule3) triple6) -> rule6)) -> rule8) triple6) -> rule1) triple6) -> rule6))] @1: The dog chases the dog.[(((triple5) -> rule3))] The dog likes the dog.[(((triple1 triple5) -> rule2) OR ((triple6 ((triple5) -> rule3)) -> rule4) OR ((((triple10) -> rule5) ((triple5) -> rule3)) -> rule4))] The tiger is kind.[(((triple10) -> rule8) OR ((((triple7 triple6) -> rule6)) -> rule8) OR ((((((((((((triple5) -> rule3) triple6) -> rule6)) -> rule8) triple6) -> rule1) triple6) -> rule6)) -> rule8))] @2: The dog visits the dog.[(((((triple5) -> rule3) triple6) -> rule6) OR ((((triple5) -> rule3) ((triple10) -> rule5)) -> rule6))] @3: The dog is kind.[(((((((triple5) -> rule3) triple6) -> rule6)) -> rule8) OR ((((((triple5) -> rule3) ((triple10) -> rule5)) -> rule6)) -> rule8))]