The dog is round. The squirrel visits the dog. The tiger likes the dog. If someone likes the dog then the dog visits the tiger. If someone likes the squirrel and they need the squirrel then they do not like the dog. If someone needs the dog then the dog needs the squirrel. If someone visits the tiger then the tiger does not need the dog. If the dog is not rough then the dog is not round. If someone likes the dog and they do not need the dog then the dog is cold.
The dog is cold.
@0: The dog is round.[(triple1)] The squirrel visits the dog.[(triple2)] The tiger likes the dog.[(triple3)] @1: The dog visits the tiger.[(((triple3) -> rule1))] @2: The tiger does not need the dog.[(((((triple3) -> rule1)) -> rule4))] @3: The dog is cold.[(((triple3 ((((triple3) -> rule1)) -> rule4)) -> rule6))]