The dog is nice. The dog likes the squirrel. The dog sees the rabbit. The dog visits the rabbit. The dog does not visit the squirrel. The lion is young. The rabbit is not big. The rabbit is not cold. The rabbit likes the lion. The rabbit does not see the squirrel. The squirrel is cold. The squirrel is nice. The squirrel likes the lion. The squirrel sees the rabbit. The squirrel visits the lion. The squirrel visits the rabbit. If the rabbit sees the squirrel and the squirrel sees the dog then the rabbit does not like the squirrel. If someone sees the lion and they do not see the dog then the dog is red. If someone sees the squirrel and the squirrel likes the dog then the dog visits the squirrel. If someone likes the squirrel and they visit the rabbit then they like the dog. If someone is nice then they like the squirrel. If someone visits the dog and they are not red then they are nice. If someone likes the squirrel then the squirrel visits the rabbit. If someone likes the dog then they are not young.
The dog is not red.
@0: The dog does not visit the squirrel.[(triple5)] The dog is nice.[(triple1)] The dog likes the squirrel.[(triple2 OR ((triple1) -> rule5))] The dog sees the rabbit.[(triple3)] The dog visits the rabbit.[(triple4)] The lion is young.[(triple6)] The rabbit does not see the squirrel.[(triple10)] The rabbit is not big.[(triple7)] The rabbit is not cold.[(triple8)] The rabbit likes the lion.[(triple9)] The squirrel is cold.[(triple11)] The squirrel is nice.[(triple12)] The squirrel likes the lion.[(triple13)] The squirrel sees the rabbit.[(triple14)] The squirrel visits the lion.[(triple15)] The squirrel visits the rabbit.[(triple16 OR ((triple2) -> rule7) OR ((((triple1) -> rule5)) -> rule7) OR ((((triple12) -> rule5)) -> rule7))] @1: The dog likes the dog.[(((triple2 triple4) -> rule4) OR ((((triple1) -> rule5) triple4) -> rule4))] The squirrel likes the squirrel.[(((triple12) -> rule5))] @2: The dog is not young.[(((((triple2 triple4) -> rule4)) -> rule8) OR ((((((triple1) -> rule5) triple4) -> rule4)) -> rule8))] The squirrel likes the dog.[(((((triple12) -> rule5) triple16) -> rule4) OR ((((triple12) -> rule5) ((triple2) -> rule7)) -> rule4) OR ((((triple12) -> rule5) ((((triple1) -> rule5)) -> rule7)) -> rule4) OR ((((triple12) -> rule5) ((((triple12) -> rule5)) -> rule7)) -> rule4))] @3: The squirrel is not young.[(((((((triple12) -> rule5) triple16) -> rule4)) -> rule8) OR ((((((triple12) -> rule5) ((triple2) -> rule7)) -> rule4)) -> rule8) OR ((((((triple12) -> rule5) ((((triple1) -> rule5)) -> rule7)) -> rule4)) -> rule8) OR ((((((triple12) -> rule5) ((((triple12) -> rule5)) -> rule7)) -> rule4)) -> rule8))]