The cat is not nice. The cat is not round. The cat needs the squirrel. The rabbit is big. The rabbit is not round. The rabbit needs the cat. The rabbit sees the cat. The rabbit visits the cat. The squirrel is kind. The squirrel needs the cat. The squirrel needs the rabbit. The squirrel sees the cat. If something needs the cat and it does not see the cat then it visits the squirrel. If something visits the rabbit then the rabbit needs the squirrel. If something needs the squirrel then it visits the rabbit.
The rabbit does not visit the squirrel.
@0: The cat is not nice.[(triple1)] The cat is not round.[(triple2)] The cat needs the squirrel.[(triple3)] The rabbit is big.[(triple4)] The rabbit is not round.[(triple5)] The rabbit needs the cat.[(triple6)] The rabbit sees the cat.[(triple7)] The rabbit visits the cat.[(triple8)] The squirrel is kind.[(triple9)] The squirrel needs the cat.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel sees the cat.[(triple12)] @1: The cat visits the rabbit.[(((triple3) -> rule3))] @2: The rabbit needs the squirrel.[(((((triple3) -> rule3)) -> rule2))] @3: The rabbit visits the rabbit.[(((((((triple3) -> rule3)) -> rule2)) -> rule3))]