The cat is round. The cat likes the squirrel. The lion is rough. The lion needs the cat. The squirrel is round. The squirrel likes the lion. The squirrel needs the cat. If someone likes the cat then the cat likes the squirrel. If someone needs the cat and they do not need the lion then the cat likes the squirrel. If someone is big then they need the squirrel. If someone is kind then they are rough. If someone needs the squirrel then they are big. If someone likes the lion then they are big. If someone likes the cat then they are not cold. If someone needs the squirrel then they visit the squirrel.
The cat is not round.
@0: The cat is round.[(triple1)] The cat likes the squirrel.[(triple2)] The lion is rough.[(triple3)] The lion needs the cat.[(triple4)] The squirrel is round.[(triple5)] The squirrel likes the lion.[(triple6)] The squirrel needs the cat.[(triple7)] @1: The squirrel is big.[(((triple6) -> rule6))] @2: The squirrel needs the squirrel.[(((((triple6) -> rule6)) -> rule3))] @3: The squirrel visits the squirrel.[(((((((triple6) -> rule6)) -> rule3)) -> rule8))]