The bear chases the cow. The bear chases the squirrel. The bear is round. The bear sees the cow. The bear sees the squirrel. The cow chases the bear. The cow chases the squirrel. The cow is big. The cow needs the bear. The cow needs the squirrel. The cow sees the squirrel. The squirrel is big. The squirrel is young. The squirrel needs the cow. The squirrel sees the bear. The squirrel sees the cow. If someone chases the cow and they need the squirrel then the cow chases the bear. If someone is red and they chase the squirrel then they need the bear. If someone needs the bear then they chase the cow. If someone chases the cow and they see the cow then they need the squirrel. Young, big people are green. If someone chases the bear and the bear needs the squirrel then they are big. If someone is green then they need the bear. If someone sees the cow then the cow chases the bear.
The bear needs the squirrel.
@0: The bear chases the cow.[(triple1)] The bear chases the squirrel.[(triple2)] The bear is round.[(triple3)] The bear sees the cow.[(triple4)] The bear sees the squirrel.[(triple5)] The cow chases the bear.[(triple6 OR ((triple16) -> rule8) OR ((triple4) -> rule8) OR ((triple1 ((triple1 triple4) -> rule4)) -> rule1) OR ((((triple9) -> rule3) triple10) -> rule1) OR ((((((((triple13 triple12) -> rule5)) -> rule7)) -> rule3) ((((((((triple13 triple12) -> rule5)) -> rule7)) -> rule3) triple16) -> rule4)) -> rule1))] The cow chases the squirrel.[(triple7)] The cow is big.[(triple8 OR ((triple6 ((triple1 triple4) -> rule4)) -> rule6) OR ((((triple16) -> rule8) ((triple1 triple4) -> rule4)) -> rule6) OR ((((triple4) -> rule8) ((triple1 triple4) -> rule4)) -> rule6) OR ((((triple1 ((triple1 triple4) -> rule4)) -> rule1) ((triple1 triple4) -> rule4)) -> rule6) OR ((((((triple9) -> rule3) triple10) -> rule1) ((triple1 triple4) -> rule4)) -> rule6) OR ((((((((((triple13 triple12) -> rule5)) -> rule7)) -> rule3) ((((((((triple13 triple12) -> rule5)) -> rule7)) -> rule3) triple16) -> rule4)) -> rule1) ((triple1 triple4) -> rule4)) -> rule6))] The cow needs the bear.[(triple9)] The cow needs the squirrel.[(triple10)] The cow sees the squirrel.[(triple11)] The squirrel is big.[(triple12)] The squirrel is young.[(triple13)] The squirrel needs the cow.[(triple14)] The squirrel sees the bear.[(triple15)] The squirrel sees the cow.[(triple16)] @1: The bear needs the squirrel.[(((triple1 triple4) -> rule4))] The cow chases the cow.[(((triple9) -> rule3))] The squirrel is green.[(((triple13 triple12) -> rule5))] @2: The squirrel needs the bear.[(((((triple13 triple12) -> rule5)) -> rule7))] @3: The squirrel chases the cow.[(((((((triple13 triple12) -> rule5)) -> rule7)) -> rule3))] @4: The squirrel needs the squirrel.[(((((((((triple13 triple12) -> rule5)) -> rule7)) -> rule3) triple16) -> rule4))]