The dog is nice. The dog is red. The dog is round. The dog is young. The dog likes the squirrel. The dog sees the mouse. The dog sees the squirrel. The mouse likes the dog. The mouse sees the dog. The mouse sees the squirrel. The mouse visits the squirrel. The squirrel is nice. The squirrel likes the dog. The squirrel sees the dog. The squirrel visits the dog. The squirrel visits the mouse. If someone likes the dog and they are red then the dog likes the mouse. If someone visits the dog and the dog is round then the dog is kind. If someone is nice then they like the mouse. If someone sees the squirrel and they are round then the squirrel sees the mouse. If someone sees the dog and the dog sees the mouse then the dog sees the squirrel. If someone visits the dog then the dog sees the mouse. If someone sees the squirrel then the squirrel sees the dog. If someone visits the squirrel and the squirrel visits the dog then the squirrel is nice.
The squirrel is nice.
@0: The dog is nice.[(triple1)] The dog is red.[(triple2)] The dog is round.[(triple3)] The dog is young.[(triple4)] The dog likes the squirrel.[(triple5)] The dog sees the mouse.[(triple6 OR ((triple15) -> rule6))] The dog sees the squirrel.[(triple7 OR ((triple14 triple6) -> rule5) OR ((triple9 triple6) -> rule5) OR ((triple14 ((triple15) -> rule6)) -> rule5) OR ((triple9 ((triple15) -> rule6)) -> rule5) OR ((((triple10) -> rule7) triple6) -> rule5) OR ((((triple10) -> rule7) ((triple15) -> rule6)) -> rule5))] The mouse likes the dog.[(triple8)] The mouse sees the dog.[(triple9)] The mouse sees the squirrel.[(triple10)] The mouse visits the squirrel.[(triple11)] The squirrel is nice.[(triple12 OR ((triple11 triple15) -> rule8))] The squirrel likes the dog.[(triple13)] The squirrel sees the dog.[(triple14 OR ((triple10) -> rule7) OR ((triple7) -> rule7) OR ((((triple9 triple6) -> rule5)) -> rule7) OR ((((triple9 ((triple15) -> rule6)) -> rule5)) -> rule7))] The squirrel visits the dog.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The dog is kind.[(((triple15 triple3) -> rule2))] The dog likes the mouse.[(((triple1) -> rule3))] The squirrel likes the mouse.[(((triple12) -> rule3) OR ((((triple11 triple15) -> rule8)) -> rule3))] The squirrel sees the mouse.[(((triple7 triple3) -> rule4) OR ((((triple14 triple6) -> rule5) triple3) -> rule4) OR ((((triple9 triple6) -> rule5) triple3) -> rule4) OR ((((triple14 ((triple15) -> rule6)) -> rule5) triple3) -> rule4) OR ((((triple9 ((triple15) -> rule6)) -> rule5) triple3) -> rule4) OR ((((((triple10) -> rule7) triple6) -> rule5) triple3) -> rule4) OR ((((((triple10) -> rule7) ((triple15) -> rule6)) -> rule5) triple3) -> rule4))]