The cat chases the lion. The cat is big. The cat is blue. The cat is cold. The cat is kind. The cat is red. The cat likes the lion. The cat sees the lion. The lion chases the cat. The lion is big. The lion is blue. The lion is cold. The lion is kind. The lion is red. The lion does not like the cat. The lion sees the cat. If someone sees the cat and they are cold then the cat is cold. If someone sees the lion and they like the lion then they see the cat. If someone is kind then they see the cat. If the lion is kind then the lion sees the cat. If someone sees the cat then the cat chases the lion. If someone sees the cat then they are cold. If the lion likes the cat and the cat does not see the lion then the cat is red. All red people are blue.
The cat is big.
@0: The cat chases the lion.[(triple1 OR ((triple16) -> rule5) OR ((((triple13) -> rule3)) -> rule5) OR ((((triple13) -> rule4)) -> rule5) OR ((((triple5) -> rule3)) -> rule5) OR ((((triple8 triple7) -> rule2)) -> rule5))] The cat is big.[(triple2)] The cat is blue.[(triple3 OR ((triple6) -> rule8))] The cat is cold.[(triple4 OR ((triple16 triple12) -> rule1) OR ((((triple5) -> rule3)) -> rule6) OR ((((triple8 triple7) -> rule2)) -> rule6) OR ((triple16 ((triple16) -> rule6)) -> rule1) OR ((((triple13) -> rule3) triple12) -> rule1) OR ((((triple13) -> rule4) triple12) -> rule1) OR ((((triple13) -> rule3) ((triple16) -> rule6)) -> rule1) OR ((((triple13) -> rule4) ((triple16) -> rule6)) -> rule1) OR ((triple16 ((((triple13) -> rule3)) -> rule6)) -> rule1) OR ((triple16 ((((triple13) -> rule4)) -> rule6)) -> rule1) OR ((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule1) OR ((((triple13) -> rule3) ((((triple13) -> rule4)) -> rule6)) -> rule1) OR ((((triple13) -> rule4) ((((triple13) -> rule3)) -> rule6)) -> rule1) OR ((((triple13) -> rule4) ((((triple13) -> rule4)) -> rule6)) -> rule1))] The cat is kind.[(triple5)] The cat is red.[(triple6)] The cat likes the lion.[(triple7)] The cat sees the lion.[(triple8)] The lion chases the cat.[(triple9)] The lion does not like the cat.[(triple15)] The lion is big.[(triple10)] The lion is blue.[(triple11 OR ((triple14) -> rule8))] The lion is cold.[(triple12 OR ((triple16) -> rule6) OR ((((triple13) -> rule3)) -> rule6) OR ((((triple13) -> rule4)) -> rule6))] The lion is kind.[(triple13)] The lion is red.[(triple14)] The lion sees the cat.[(triple16 OR ((triple13) -> rule3) OR ((triple13) -> rule4))] @1: The cat sees the cat.[(((triple5) -> rule3) OR ((triple8 triple7) -> rule2))]