The cat is not rough. The cat is young. The cat likes the tiger. The squirrel is nice. The squirrel is round. The squirrel likes the cat. The squirrel needs the tiger. The squirrel visits the cat. The tiger visits the cat. The tiger visits the squirrel. If something needs the tiger then it likes the squirrel. If something likes the squirrel then the squirrel is not blue. If the tiger likes the squirrel and the tiger likes the cat then the cat visits the tiger.
The cat does not like the squirrel.
@0: The cat is not rough.[(triple1)] The cat is young.[(triple2)] The cat likes the tiger.[(triple3)] The squirrel is nice.[(triple4)] The squirrel is round.[(triple5)] The squirrel likes the cat.[(triple6)] The squirrel needs the tiger.[(triple7)] The squirrel visits the cat.[(triple8)] The tiger visits the cat.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The squirrel likes the squirrel.[(((triple7) -> rule1))] @2: The squirrel is not blue.[(((((triple7) -> rule1)) -> rule2))]