The bear chases the squirrel. The bear is blue. The bear is cold. The bear is kind. The bear is round. The bear is young. The bear sees the squirrel. The bear visits the squirrel. The squirrel chases the bear. The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel is round. The squirrel is young. The squirrel sees the bear. The squirrel visits the bear. If someone is blue and they see the squirrel then the squirrel chases the bear. If someone chases the bear and the bear chases the squirrel then the squirrel chases the bear. If someone sees the bear then the bear sees the squirrel. If someone visits the bear and the bear sees the squirrel then they see the bear. If someone is young and they chase the bear then they see the bear. If someone chases the squirrel and they see the squirrel then the squirrel chases the bear. If someone sees the squirrel and the squirrel is cold then they chase the bear. If the squirrel visits the bear then the squirrel chases the bear.
The bear sees the bear.
@0: The bear chases the squirrel.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear sees the squirrel.[(triple7 OR ((triple15) -> rule3) OR ((((triple14 triple9) -> rule5)) -> rule3) OR ((((triple14 ((triple16) -> rule8)) -> rule5)) -> rule3))] The bear visits the squirrel.[(triple8)] The squirrel chases the bear.[(triple9 OR ((triple16) -> rule8) OR ((triple1 triple7) -> rule6) OR ((triple2 triple7) -> rule1) OR ((triple1 ((triple15) -> rule3)) -> rule6) OR ((triple2 ((triple15) -> rule3)) -> rule1) OR ((((triple7 triple11) -> rule7) triple1) -> rule2) OR ((((((triple15) -> rule3) triple11) -> rule7) triple1) -> rule2))] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel sees the bear.[(triple15 OR ((triple14 triple9) -> rule5) OR ((triple16 triple7) -> rule4) OR ((triple14 ((triple16) -> rule8)) -> rule5) OR ((triple14 ((triple1 triple7) -> rule6)) -> rule5) OR ((triple14 ((triple2 triple7) -> rule1)) -> rule5) OR ((triple14 ((((triple7 triple11) -> rule7) triple1) -> rule2)) -> rule5))] The squirrel visits the bear.[(triple16)] @1: The bear chases the bear.[(((triple7 triple11) -> rule7) OR ((((triple15) -> rule3) triple11) -> rule7) OR ((((((triple14 triple9) -> rule5)) -> rule3) triple11) -> rule7) OR ((((((triple14 ((triple16) -> rule8)) -> rule5)) -> rule3) triple11) -> rule7))] @2: The bear sees the bear.[(((triple6 ((triple7 triple11) -> rule7)) -> rule5) OR ((triple6 ((((triple15) -> rule3) triple11) -> rule7)) -> rule5) OR ((triple6 ((((((triple14 triple9) -> rule5)) -> rule3) triple11) -> rule7)) -> rule5) OR ((triple6 ((((((triple14 ((triple16) -> rule8)) -> rule5)) -> rule3) triple11) -> rule7)) -> rule5))]