The dog is blue. The dog is rough. The dog is round. The dog likes the squirrel. The dog needs the squirrel. The squirrel is blue. The squirrel is cold. The squirrel is rough. The squirrel is young. The squirrel likes the dog. The squirrel needs the dog. The squirrel visits the dog. If the squirrel needs the dog then the dog visits the squirrel. If someone visits the dog and they need the squirrel then they like the dog. If someone is young and they visit the dog then the dog is rough. If someone is round and they like the dog then the dog is young. If the dog is blue and the dog visits the squirrel then the squirrel is rough. If someone is round and they visit the squirrel then the squirrel is round. If someone likes the squirrel and they like the dog then the dog likes the squirrel. If someone needs the dog then they need the squirrel.
The dog is not young.
@0: The dog is blue.[(triple1)] The dog is rough.[(triple2 OR ((triple9 triple12) -> rule3))] The dog is round.[(triple3)] The dog likes the squirrel.[(triple4)] The dog needs the squirrel.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is cold.[(triple7)] The squirrel is rough.[(triple8 OR ((triple1 ((triple11) -> rule1)) -> rule5))] The squirrel is young.[(triple9)] The squirrel likes the dog.[(triple10 OR ((triple12 ((triple11) -> rule8)) -> rule2))] The squirrel needs the dog.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The dog visits the squirrel.[(((triple11) -> rule1))] The squirrel needs the squirrel.[(((triple11) -> rule8))] @2: The squirrel is round.[(((triple3 ((triple11) -> rule1)) -> rule6))] @3: The dog is young.[(((((triple3 ((triple11) -> rule1)) -> rule6) triple10) -> rule4) OR ((((triple3 ((triple11) -> rule1)) -> rule6) ((triple12 ((triple11) -> rule8)) -> rule2)) -> rule4))]