The cat is rough. The cat likes the lion. The cat likes the mouse. The cat visits the lion. The lion is rough. The lion likes the cat. The lion likes the mouse. The lion likes the squirrel. The lion visits the mouse. The mouse is nice. The mouse likes the squirrel. The mouse needs the cat. The mouse visits the squirrel. The squirrel is nice. The squirrel likes the mouse. The squirrel visits the mouse. If the cat likes the mouse and the mouse needs the cat then the cat visits the squirrel. If someone is blue then they like the cat. If someone likes the squirrel and they need the squirrel then they are blue. If the mouse is kind and the mouse needs the lion then the mouse is rough. If someone visits the squirrel then they need the squirrel. If someone needs the cat and they are blue then the cat likes the squirrel. If someone is rough then they visit the cat.
The cat does not like the cat.
@0: The cat is rough.[(triple1)] The cat likes the lion.[(triple2)] The cat likes the mouse.[(triple3)] The cat visits the lion.[(triple4)] The lion is rough.[(triple5)] The lion likes the cat.[(triple6)] The lion likes the mouse.[(triple7)] The lion likes the squirrel.[(triple8)] The lion visits the mouse.[(triple9)] The mouse is nice.[(triple10)] The mouse likes the squirrel.[(triple11)] The mouse needs the cat.[(triple12)] The mouse visits the squirrel.[(triple13)] The squirrel is nice.[(triple14)] The squirrel likes the mouse.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The cat visits the cat.[(((triple1) -> rule7))] The cat visits the squirrel.[(((triple3 triple12) -> rule1))] The lion visits the cat.[(((triple5) -> rule7))] The mouse needs the squirrel.[(((triple13) -> rule5))] @2: The cat needs the squirrel.[(((((triple3 triple12) -> rule1)) -> rule5))] The mouse is blue.[(((triple11 ((triple13) -> rule5)) -> rule3))] @3: The cat likes the squirrel.[(((triple12 ((triple11 ((triple13) -> rule5)) -> rule3)) -> rule6))] The mouse likes the cat.[(((((triple11 ((triple13) -> rule5)) -> rule3)) -> rule2))] @4: The cat is blue.[(((((triple12 ((triple11 ((triple13) -> rule5)) -> rule3)) -> rule6) ((((triple3 triple12) -> rule1)) -> rule5)) -> rule3))] @5: The cat likes the cat.[(((((((triple12 ((triple11 ((triple13) -> rule5)) -> rule3)) -> rule6) ((((triple3 triple12) -> rule1)) -> rule5)) -> rule3)) -> rule2))]