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