The dog is blue. The dog is green. The dog is round. The dog needs the squirrel. The dog sees the squirrel. The dog visits the squirrel. The dog visits the tiger. The squirrel is nice. The squirrel is rough. The squirrel needs the tiger. The squirrel sees the tiger. The squirrel visits the dog. The squirrel visits the tiger. The tiger is green. The tiger is nice. The tiger is round. If something is round then it visits the squirrel. If something needs the tiger and the tiger is green then the tiger sees the squirrel. If something needs the tiger then it is rough. If something sees the tiger then it is round. If something visits the squirrel then the squirrel is round. If something sees the squirrel then the squirrel visits the dog. If something is nice and it sees the dog then the dog visits the squirrel. All round things are rough.
The squirrel does not need the dog.
@0: The dog is blue.[(triple1)] The dog is green.[(triple2)] The dog is round.[(triple3)] The dog needs the squirrel.[(triple4)] The dog sees the squirrel.[(triple5)] The dog visits the squirrel.[(triple6 OR ((triple3) -> rule1))] The dog visits the tiger.[(triple7)] The squirrel is nice.[(triple8)] The squirrel is rough.[(triple9 OR ((triple10) -> rule3) OR ((((triple11) -> rule4)) -> rule8) OR ((((triple6) -> rule5)) -> rule8) OR ((((((triple16) -> rule1)) -> rule5)) -> rule8) OR ((((((triple3) -> rule1)) -> rule5)) -> rule8))] The squirrel needs the tiger.[(triple10)] The squirrel sees the tiger.[(triple11)] The squirrel visits the dog.[(triple12 OR ((triple5) -> rule6) OR ((((triple10 triple14) -> rule2)) -> rule6))] The squirrel visits the tiger.[(triple13)] The tiger is green.[(triple14)] The tiger is nice.[(triple15)] The tiger is round.[(triple16)] @1: The dog is rough.[(((triple3) -> rule8))] The squirrel is round.[(((triple11) -> rule4) OR ((triple6) -> rule5) OR ((((triple16) -> rule1)) -> rule5) OR ((((triple3) -> rule1)) -> rule5))] The tiger is rough.[(((triple16) -> rule8))] The tiger sees the squirrel.[(((triple10 triple14) -> rule2))] The tiger visits the squirrel.[(((triple16) -> rule1))] @2: The squirrel visits the squirrel.[(((((triple11) -> rule4)) -> rule1) OR ((((triple6) -> rule5)) -> rule1) OR ((((((triple16) -> rule1)) -> rule5)) -> rule1) OR ((((((triple3) -> rule1)) -> rule5)) -> rule1))]