The dog is big. The rabbit needs the dog. The squirrel is red. The tiger eats the dog. If someone needs the dog then they chase the dog. If someone chases the tiger then the tiger is big. If someone eats the tiger then the tiger chases the squirrel. If someone eats the dog then they are nice. If someone eats the squirrel then the squirrel needs the dog. If someone is blue and they chase the tiger then they chase the dog. If someone eats the squirrel and the squirrel is nice then the squirrel needs the tiger. If someone needs the dog then they eat the squirrel.
The dog is not nice.
@0: The dog is big.[(triple1)] The rabbit needs the dog.[(triple2)] The squirrel is red.[(triple3)] The tiger eats the dog.[(triple4)] @1: The rabbit chases the dog.[(((triple2) -> rule1))] The rabbit eats the squirrel.[(((triple2) -> rule8))] The tiger is nice.[(((triple4) -> rule4))] @2: The squirrel needs the dog.[(((((triple2) -> rule8)) -> rule5))] @3: The squirrel chases the dog.[(((((((triple2) -> rule8)) -> rule5)) -> rule1))] The squirrel eats the squirrel.[(((((((triple2) -> rule8)) -> rule5)) -> rule8))]