The cat chases the squirrel. The cat eats the squirrel. The cat is cold. The cat is kind. The cat is nice. The cat is red. The cat visits the squirrel. The squirrel chases the cat. The squirrel eats the cat. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel visits the cat. If someone visits the squirrel and the squirrel chases the cat then they are red. If the squirrel is kind then the squirrel chases the cat. If someone is red then they chase the cat. If someone eats the squirrel and they chase the squirrel then the squirrel chases the cat. If the cat visits the squirrel and the squirrel visits the cat then the cat chases the squirrel. If someone eats the cat then the cat is red. If someone chases the squirrel and they are green then the squirrel eats the cat. If someone is green and they chase the squirrel then they are nice.
The squirrel is cold.
@0: The cat chases the squirrel.[(triple1 OR ((triple7 triple15) -> rule5))] The cat eats the squirrel.[(triple2)] The cat is cold.[(triple3)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cat is red.[(triple6 OR ((triple9) -> rule6) OR ((triple7 triple8) -> rule1) OR ((triple7 ((triple12) -> rule2)) -> rule1) OR ((triple7 ((triple14) -> rule3)) -> rule1) OR ((triple7 ((triple2 triple1) -> rule4)) -> rule1) OR ((triple7 ((triple2 ((triple7 triple15) -> rule5)) -> rule4)) -> rule1))] The cat visits the squirrel.[(triple7)] The squirrel chases the cat.[(triple8 OR ((triple12) -> rule2) OR ((triple14) -> rule3) OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple7 triple15) -> rule5)) -> rule4))] The squirrel eats the cat.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is red.[(triple14)] The squirrel visits the cat.[(triple15)] @1: The cat chases the cat.[(((triple6) -> rule3) OR ((((triple9) -> rule6)) -> rule3) OR ((((triple7 triple8) -> rule1)) -> rule3) OR ((((triple7 ((triple12) -> rule2)) -> rule1)) -> rule3) OR ((((triple7 ((triple14) -> rule3)) -> rule1)) -> rule3) OR ((((triple7 ((triple2 triple1) -> rule4)) -> rule1)) -> rule3) OR ((((triple7 ((triple2 ((triple7 triple15) -> rule5)) -> rule4)) -> rule1)) -> rule3))]