The cat likes the squirrel. The lion likes the squirrel. The squirrel needs the cat. The tiger likes the lion. The tiger needs the cat. The tiger needs the lion. The tiger visits the lion. If someone is young and they need the tiger then they need the cat. If someone needs the lion and they visit the lion then they are nice. If someone visits the cat and the cat likes the squirrel then the cat is nice. If someone likes the tiger and the tiger is nice then they visit the cat. If someone likes the squirrel and the squirrel is blue then they like the tiger. If someone is nice then they like the tiger. If someone needs the cat then they like the lion. If someone is green then they like the lion. If someone is nice and they visit the cat then the cat needs the tiger.
The squirrel does not visit the lion.
@0: The cat likes the squirrel.[(triple1)] The lion likes the squirrel.[(triple2)] The squirrel needs the cat.[(triple3)] The tiger likes the lion.[(triple4 OR ((triple5) -> rule7))] The tiger needs the cat.[(triple5)] The tiger needs the lion.[(triple6)] The tiger visits the lion.[(triple7)] @1: The squirrel likes the lion.[(((triple3) -> rule7))] The tiger is nice.[(((triple6 triple7) -> rule2))] @2: The tiger likes the tiger.[(((((triple6 triple7) -> rule2)) -> rule6))] @3: The tiger visits the cat.[(((((((triple6 triple7) -> rule2)) -> rule6) ((triple6 triple7) -> rule2)) -> rule4))] @4: The cat is nice.[(((((((((triple6 triple7) -> rule2)) -> rule6) ((triple6 triple7) -> rule2)) -> rule4) triple1) -> rule3))] The cat needs the tiger.[(((((triple6 triple7) -> rule2) ((((((triple6 triple7) -> rule2)) -> rule6) ((triple6 triple7) -> rule2)) -> rule4)) -> rule9) OR ((((((((((triple6 triple7) -> rule2)) -> rule6) ((triple6 triple7) -> rule2)) -> rule4) triple1) -> rule3) ((((((((((((triple6 triple7) -> rule2)) -> rule6) ((triple6 triple7) -> rule2)) -> rule4) triple1) -> rule3)) -> rule6) ((triple6 triple7) -> rule2)) -> rule4)) -> rule9))] @5: The cat likes the tiger.[(((((((((((triple6 triple7) -> rule2)) -> rule6) ((triple6 triple7) -> rule2)) -> rule4) triple1) -> rule3)) -> rule6))] @6: The cat visits the cat.[(((((((((((((triple6 triple7) -> rule2)) -> rule6) ((triple6 triple7) -> rule2)) -> rule4) triple1) -> rule3)) -> rule6) ((triple6 triple7) -> rule2)) -> rule4))]