The cat chases the rabbit. The cat is green. The cat sees the lion. The cat visits the lion. The cat visits the rabbit. The lion chases the rabbit. The lion is cold. The lion is round. The lion sees the cat. The lion sees the squirrel. The rabbit chases the cat. The rabbit sees the lion. The rabbit visits the cat. The squirrel chases the lion. The squirrel sees the lion. The squirrel visits the lion. If someone visits the squirrel and they chase the lion then the lion is cold. If someone is round and green then they visit the lion. If someone sees the lion then the lion chases the cat. If someone chases the rabbit and the rabbit visits the lion then the lion chases the cat. If the rabbit is kind and the rabbit sees the lion then the rabbit chases the cat. If someone sees the cat then they visit the lion. If someone is nice then they see the squirrel. If someone is round and they visit the lion then they are kind.
The lion is not kind.
@0: The cat chases the rabbit.[(triple1)] The cat is green.[(triple2)] The cat sees the lion.[(triple3)] The cat visits the lion.[(triple4)] The cat visits the rabbit.[(triple5)] The lion chases the rabbit.[(triple6)] The lion is cold.[(triple7)] The lion is round.[(triple8)] The lion sees the cat.[(triple9)] The lion sees the squirrel.[(triple10)] The rabbit chases the cat.[(triple11)] The rabbit sees the lion.[(triple12)] The rabbit visits the cat.[(triple13)] The squirrel chases the lion.[(triple14)] The squirrel sees the lion.[(triple15)] The squirrel visits the lion.[(triple16)] @1: The lion chases the cat.[(((triple12) -> rule3) OR ((triple15) -> rule3) OR ((triple3) -> rule3))] The lion visits the lion.[(((triple9) -> rule6))] @2: The lion is kind.[(((triple8 ((triple9) -> rule6)) -> rule8))]