The cat chases the lion. The cat is nice. The cat sees the lion. The cat sees the squirrel. The cat visits the squirrel. The lion chases the cat. The lion is cold. The lion visits the cat. The lion visits the squirrel. The squirrel is green. The squirrel sees the lion. The squirrel visits the lion. If someone chases the lion then the lion visits the cat. Kind people are nice. If someone is green then they see the squirrel. If someone is green then they chase the lion. If someone visits the cat then the cat chases the lion. If the cat chases the lion and the cat chases the squirrel then the lion sees the squirrel. If someone visits the squirrel and they are cold then the squirrel chases the cat. If the cat sees the squirrel and the squirrel is green then the cat chases the squirrel.
The squirrel is cold.
@0: The cat chases the lion.[(triple1 OR ((triple8) -> rule5) OR ((((((triple10) -> rule4)) -> rule1)) -> rule5))] The cat is nice.[(triple2)] The cat sees the lion.[(triple3)] The cat sees the squirrel.[(triple4)] The cat visits the squirrel.[(triple5)] The lion chases the cat.[(triple6)] The lion is cold.[(triple7)] The lion visits the cat.[(triple8 OR ((triple1) -> rule1) OR ((((triple10) -> rule4)) -> rule1))] The lion visits the squirrel.[(triple9)] The squirrel is green.[(triple10)] The squirrel sees the lion.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The cat chases the squirrel.[(((triple4 triple10) -> rule8))] The squirrel chases the cat.[(((triple9 triple7) -> rule7))] The squirrel chases the lion.[(((triple10) -> rule4))] The squirrel sees the squirrel.[(((triple10) -> rule3))] @2: The lion sees the squirrel.[(((triple1 ((triple4 triple10) -> rule8)) -> rule6) OR ((((triple8) -> rule5) ((triple4 triple10) -> rule8)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule1)) -> rule5) ((triple4 triple10) -> rule8)) -> rule6))]