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