The dog chases the squirrel. The dog chases the tiger. The dog is big. The dog is green. The dog is rough. The dog likes the squirrel. The dog sees the tiger. The squirrel chases the tiger. The squirrel is red. The squirrel is young. The squirrel likes the dog. The squirrel sees the dog. The squirrel sees the tiger. The tiger chases the dog. The tiger is red. The tiger likes the dog. If the dog chases the tiger then the tiger sees the dog. If someone likes the dog then they are big. If someone sees the dog then they see the tiger. If someone is green then they like the dog. If someone sees the dog and they like the tiger then they are green. If someone likes the dog and the dog sees the squirrel then the squirrel likes the dog. If someone chases the dog and they see the dog then they like the tiger. If someone is rough and they see the tiger then the tiger likes the squirrel.
The tiger chases the squirrel.
@0: The dog chases the squirrel.[(triple1)] The dog chases the tiger.[(triple2)] The dog is big.[(triple3 OR ((((triple4) -> rule4)) -> rule2))] The dog is green.[(triple4)] The dog is rough.[(triple5)] The dog likes the squirrel.[(triple6)] The dog sees the tiger.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel is red.[(triple9)] The squirrel is young.[(triple10)] The squirrel likes the dog.[(triple11)] The squirrel sees the dog.[(triple12)] The squirrel sees the tiger.[(triple13 OR ((triple12) -> rule3))] The tiger chases the dog.[(triple14)] The tiger is red.[(triple15)] The tiger likes the dog.[(triple16 OR ((((((triple2) -> rule1) ((triple14 ((triple2) -> rule1)) -> rule7)) -> rule5)) -> rule4))] @1: The dog likes the dog.[(((triple4) -> rule4))] The squirrel is big.[(((triple11) -> rule2))] The tiger is big.[(((triple16) -> rule2) OR ((((((((triple2) -> rule1) ((triple14 ((triple2) -> rule1)) -> rule7)) -> rule5)) -> rule4)) -> rule2))] The tiger likes the squirrel.[(((triple5 triple7) -> rule8))] The tiger sees the dog.[(((triple2) -> rule1))] @2: The tiger likes the tiger.[(((triple14 ((triple2) -> rule1)) -> rule7))] The tiger sees the tiger.[(((((triple2) -> rule1)) -> rule3))] @3: The tiger is green.[(((((triple2) -> rule1) ((triple14 ((triple2) -> rule1)) -> rule7)) -> rule5))]