The dog is big. The dog visits the squirrel. The squirrel likes the dog. If someone needs the dog then they are nice. If someone needs the dog then they are nice. If someone is blue then they do not like the dog. If someone likes the squirrel then the squirrel is not cold. If the dog likes the squirrel then the squirrel visits the dog. If someone needs the squirrel and they visit the squirrel then the squirrel does not visit the dog. If someone visits the dog and they like the dog then the dog does not visit the squirrel. If someone is big then they are blue.
The dog is not blue.
@0: The dog is big.[(triple1)] The dog visits the squirrel.[(triple2)] The squirrel likes the dog.[(triple3)] @1: The dog is blue.[(((triple1) -> rule8))] @2: The dog does not like the dog.[(((((triple1) -> rule8)) -> rule3))]