The dog likes the squirrel. The squirrel needs the tiger. The tiger is big. If something needs the squirrel then the squirrel does not visit the dog. Big things are round. If something needs the squirrel and the squirrel is cold then it does not like the dog. If something visits the squirrel and the squirrel is cold then the squirrel likes the dog. If something is round and it visits the squirrel then the squirrel needs the dog. If something visits the dog then it is big. If something is cold and it does not need the squirrel then it does not like the squirrel. If something needs the tiger then it visits the dog.
The squirrel is not round.
@0: The dog likes the squirrel.[(triple1)] The squirrel needs the tiger.[(triple2)] The tiger is big.[(triple3)] @1: The squirrel visits the dog.[(((triple2) -> rule8))] The tiger is round.[(((triple3) -> rule2))] @2: The squirrel is big.[(((((triple2) -> rule8)) -> rule6))] @3: The squirrel is round.[(((((((triple2) -> rule8)) -> rule6)) -> rule2))]