The cat is nice. The squirrel does not eat the tiger. The squirrel likes the tiger. The squirrel visits the tiger. The tiger does not eat the squirrel. The tiger does not like the cat. The tiger does not visit the cat. If someone likes the tiger and they like the cat then they are not kind. If someone likes the cat then the cat visits the squirrel. If someone eats the squirrel and the squirrel does not eat the tiger then the squirrel visits the tiger. If someone visits the cat and they are not blue then they eat the cat. If someone visits the tiger then they visit the squirrel. If the squirrel is blue then the squirrel eats the cat. If someone visits the squirrel then they like the cat. If someone likes the squirrel and they do not like the cat then the cat does not like the squirrel.
The tiger does not visit the cat.
@0: The cat is nice.[(triple1)] The squirrel does not eat the tiger.[(triple2)] The squirrel likes the tiger.[(triple3)] The squirrel visits the tiger.[(triple4)] The tiger does not eat the squirrel.[(triple5)] The tiger does not like the cat.[(triple6)] The tiger does not visit the cat.[(triple7)] @1: The squirrel visits the squirrel.[(((triple4) -> rule5))] @2: The squirrel likes the cat.[(((((triple4) -> rule5)) -> rule7))] @3: The cat visits the squirrel.[(((((((triple4) -> rule5)) -> rule7)) -> rule2))] The squirrel is not kind.[(((triple3 ((((triple4) -> rule5)) -> rule7)) -> rule1))] @4: The cat likes the cat.[(((((((((triple4) -> rule5)) -> rule7)) -> rule2)) -> rule7))]