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