The dog is blue. The dog is green. The dog is kind. The dog is nice. The dog likes the squirrel. The dog needs the squirrel. The dog visits the squirrel. The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel likes the dog. The squirrel needs the dog. The squirrel visits the dog. If something needs the squirrel and the squirrel is kind then it visits the dog. If something needs the dog then it is red. If the squirrel needs the dog and the dog is blue then the squirrel visits the dog. If something visits the squirrel and it needs the dog then the dog likes the squirrel. If something needs the dog and it visits the squirrel then the dog likes the squirrel. If something visits the dog and the dog is blue then it needs the dog. If something likes the dog and the dog is kind then the dog is nice. If something is kind and it likes the dog then the dog needs the squirrel.
The dog is red.
@0: The dog is blue.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4 OR ((triple13 triple3) -> rule7))] The dog likes the squirrel.[(triple5 OR ((triple7 ((((triple6 triple10) -> rule1) triple1) -> rule6)) -> rule4) OR ((((((triple6 triple10) -> rule1) triple1) -> rule6) triple7) -> rule5) OR ((triple7 ((((((triple10 triple13) -> rule8) triple10) -> rule1) triple1) -> rule6)) -> rule4) OR ((((((((triple10 triple13) -> rule8) triple10) -> rule1) triple1) -> rule6) triple7) -> rule5))] The dog needs the squirrel.[(triple6 OR ((triple10 triple13) -> rule8))] The dog visits the squirrel.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is green.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is red.[(triple12 OR ((triple14) -> rule2) OR ((((triple15 triple1) -> rule6)) -> rule2))] The squirrel likes the dog.[(triple13)] The squirrel needs the dog.[(triple14 OR ((triple15 triple1) -> rule6))] The squirrel visits the dog.[(triple15 OR ((triple14 triple1) -> rule3))] @1: The dog visits the dog.[(((triple6 triple10) -> rule1) OR ((((triple10 triple13) -> rule8) triple10) -> rule1))] @2: The dog needs the dog.[(((((triple6 triple10) -> rule1) triple1) -> rule6) OR ((((((triple10 triple13) -> rule8) triple10) -> rule1) triple1) -> rule6))] @3: The dog is red.[(((((((triple6 triple10) -> rule1) triple1) -> rule6)) -> rule2) OR ((((((((triple10 triple13) -> rule8) triple10) -> rule1) triple1) -> rule6)) -> rule2))]