The cat chases the lion. The cat is blue. The cat is not cold. The cat is not green. The cat is kind. The cat is young. The cat sees the lion. The cat visits the lion. The lion chases the cat. The lion is not cold. The lion is green. The lion is kind. The lion is young. The lion sees the cat. The lion visits the cat. If the lion chases the cat then the cat sees the lion. If someone is blue then they see the cat.
The cat sees the cat.
@0: The cat chases the lion.[(triple1)] The cat is blue.[(triple2)] The cat is kind.[(triple5)] The cat is not cold.[(triple3)] The cat is not green.[(triple4)] The cat is young.[(triple6)] The cat sees the lion.[(triple7 OR ((triple9) -> rule1))] The cat visits the lion.[(triple8)] The lion chases the cat.[(triple9)] The lion is green.[(triple11)] The lion is kind.[(triple12)] The lion is not cold.[(triple10)] The lion is young.[(triple13)] The lion sees the cat.[(triple14)] The lion visits the cat.[(triple15)] @1: The cat sees the cat.[(((triple2) -> rule2))]