The dog is big. The dog is cold. The dog is green. The dog is red. The dog is young. The dog needs the squirrel. The dog sees the squirrel. The dog visits the squirrel. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is young. The squirrel needs the dog. The squirrel sees the dog. The squirrel visits the dog. If something is big and red then it needs the squirrel. If the squirrel sees the dog and the squirrel needs the dog then the squirrel visits the dog. If something is young then it is green. If something is green then it is cold. If something sees the dog and it visits the squirrel then the squirrel sees the dog. If something is cold then it visits the squirrel.
The squirrel does not visit the dog.
@0: The dog is big.[(triple1)] The dog is cold.[(triple2 OR ((triple3) -> rule4) OR ((((triple5) -> rule3)) -> rule4))] The dog is green.[(triple3 OR ((triple5) -> rule3))] The dog is red.[(triple4)] The dog is young.[(triple5)] The dog needs the squirrel.[(triple6 OR ((triple1 triple4) -> rule1))] The dog sees the squirrel.[(triple7)] The dog visits the squirrel.[(triple8 OR ((triple2) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((((triple5) -> rule3)) -> rule4)) -> rule6))] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10 OR ((triple11) -> rule4) OR ((((triple13) -> rule3)) -> rule4))] The squirrel is green.[(triple11 OR ((triple13) -> rule3))] The squirrel is red.[(triple12)] The squirrel is young.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel sees the dog.[(triple15)] The squirrel visits the dog.[(triple16 OR ((triple15 triple14) -> rule2))] @1: The squirrel needs the squirrel.[(((triple9 triple12) -> rule1))] The squirrel visits the squirrel.[(((triple10) -> rule6) OR ((((triple11) -> rule4)) -> rule6) OR ((((((triple13) -> rule3)) -> rule4)) -> rule6))]