The dog does not visit the rabbit. The dog visits the squirrel. The lion is nice. The lion does not need the dog. The lion does not see the dog. The lion sees the rabbit. The rabbit needs the lion. The rabbit sees the dog. The rabbit sees the lion. The rabbit visits the dog. The squirrel sees the rabbit. The squirrel visits the dog. If something sees the squirrel then the squirrel is kind. If something needs the lion and the lion does not visit the squirrel then it is cold. If something needs the lion then it is cold. If something sees the squirrel then the squirrel needs the lion. If something is cold then it sees the squirrel. If something is blue then it visits the rabbit. If something is nice then it sees the lion. If something is cold and it needs the lion then it sees the dog.
The squirrel is not kind.
@0: The dog does not visit the rabbit.[(triple1)] The dog visits the squirrel.[(triple2)] The lion does not need the dog.[(triple4)] The lion does not see the dog.[(triple5)] The lion is nice.[(triple3)] The lion sees the rabbit.[(triple6)] The rabbit needs the lion.[(triple7)] The rabbit sees the dog.[(triple8 OR ((((triple7) -> rule3) triple7) -> rule8))] The rabbit sees the lion.[(triple9)] The rabbit visits the dog.[(triple10)] The squirrel sees the rabbit.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The lion sees the lion.[(((triple3) -> rule7))] The rabbit is cold.[(((triple7) -> rule3))] @2: The rabbit sees the squirrel.[(((((triple7) -> rule3)) -> rule5))] @3: The squirrel is kind.[(((((((triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((((((((triple7) -> rule3)) -> rule5)) -> rule4)) -> rule3)) -> rule5)) -> rule1))] The squirrel needs the lion.[(((((((triple7) -> rule3)) -> rule5)) -> rule4))] @4: The squirrel is cold.[(((((((((triple7) -> rule3)) -> rule5)) -> rule4)) -> rule3))] @5: The squirrel sees the dog.[(((((((((((triple7) -> rule3)) -> rule5)) -> rule4)) -> rule3) ((((((triple7) -> rule3)) -> rule5)) -> rule4)) -> rule8))] The squirrel sees the squirrel.[(((((((((((triple7) -> rule3)) -> rule5)) -> rule4)) -> rule3)) -> rule5))]