The bear chases the squirrel. The bear is cold. The bear is green. The bear is nice. The bear is red. The bear is round. The bear sees the squirrel. The bear visits the squirrel. The squirrel chases the bear. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is round. The squirrel sees the bear. The squirrel visits the bear. If something sees the squirrel and the squirrel is cold then it visits the squirrel. If something sees the squirrel then the squirrel is green. If something chases the squirrel then the squirrel chases the bear. If something visits the squirrel then it sees the squirrel. If something visits the bear then the bear chases the squirrel. If something chases the bear and the bear chases the squirrel then it is cold. If something is green and cold then it is round. If something sees the bear then it is red.
The squirrel does not visit the bear.
@0: The bear chases the squirrel.[(triple1 OR ((triple16) -> rule5))] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is round.[(triple6 OR ((triple3 triple2) -> rule7))] The bear sees the squirrel.[(triple7 OR ((triple8) -> rule4))] The bear visits the squirrel.[(triple8 OR ((triple7 triple10) -> rule1) OR ((triple7 ((triple9 triple1) -> rule6)) -> rule1) OR ((triple7 ((triple9 ((triple16) -> rule5)) -> rule6)) -> rule1) OR ((triple7 ((((triple1) -> rule3) triple1) -> rule6)) -> rule1) OR ((triple7 ((((triple1) -> rule3) ((triple16) -> rule5)) -> rule6)) -> rule1) OR ((triple7 ((((((triple16) -> rule5)) -> rule3) triple1) -> rule6)) -> rule1) OR ((triple7 ((((((triple16) -> rule5)) -> rule3) ((triple16) -> rule5)) -> rule6)) -> rule1))] The squirrel chases the bear.[(triple9 OR ((triple1) -> rule3) OR ((((triple16) -> rule5)) -> rule3))] The squirrel is cold.[(triple10 OR ((triple9 triple1) -> rule6) OR ((triple9 ((triple16) -> rule5)) -> rule6) OR ((((triple1) -> rule3) triple1) -> rule6) OR ((((triple1) -> rule3) ((triple16) -> rule5)) -> rule6) OR ((((((triple16) -> rule5)) -> rule3) triple1) -> rule6) OR ((((((triple16) -> rule5)) -> rule3) ((triple16) -> rule5)) -> rule6))] The squirrel is green.[(triple11 OR ((triple7) -> rule2) OR ((((triple8) -> rule4)) -> rule2))] The squirrel is nice.[(triple12)] The squirrel is red.[(triple13 OR ((triple15) -> rule8))] The squirrel is round.[(triple14 OR ((triple11 triple10) -> rule7) OR ((triple11 ((triple9 triple1) -> rule6)) -> rule7) OR ((((triple7) -> rule2) triple10) -> rule7) OR ((((triple7) -> rule2) ((triple9 triple1) -> rule6)) -> rule7) OR ((triple11 ((triple9 ((triple16) -> rule5)) -> rule6)) -> rule7) OR ((triple11 ((((triple1) -> rule3) triple1) -> rule6)) -> rule7) OR ((((((triple8) -> rule4)) -> rule2) triple10) -> rule7) OR ((triple11 ((((triple1) -> rule3) ((triple16) -> rule5)) -> rule6)) -> rule7) OR ((((triple7) -> rule2) ((triple9 ((triple16) -> rule5)) -> rule6)) -> rule7) OR ((((triple7) -> rule2) ((((triple1) -> rule3) triple1) -> rule6)) -> rule7) OR ((((((triple8) -> rule4)) -> rule2) ((triple9 triple1) -> rule6)) -> rule7) OR ((((triple7) -> rule2) ((((triple1) -> rule3) ((triple16) -> rule5)) -> rule6)) -> rule7) OR ((((((triple8) -> rule4)) -> rule2) ((triple9 ((triple16) -> rule5)) -> rule6)) -> rule7) OR ((((((triple8) -> rule4)) -> rule2) ((((triple1) -> rule3) triple1) -> rule6)) -> rule7) OR ((((((triple8) -> rule4)) -> rule2) ((((triple1) -> rule3) ((triple16) -> rule5)) -> rule6)) -> rule7) OR ((triple11 ((((((triple16) -> rule5)) -> rule3) triple1) -> rule6)) -> rule7) OR ((triple11 ((((((triple16) -> rule5)) -> rule3) ((triple16) -> rule5)) -> rule6)) -> rule7) OR ((((triple7) -> rule2) ((((((triple16) -> rule5)) -> rule3) triple1) -> rule6)) -> rule7) OR ((((triple7) -> rule2) ((((((triple16) -> rule5)) -> rule3) ((triple16) -> rule5)) -> rule6)) -> rule7) OR ((((((triple8) -> rule4)) -> rule2) ((((((triple16) -> rule5)) -> rule3) triple1) -> rule6)) -> rule7) OR ((((((triple8) -> rule4)) -> rule2) ((((((triple16) -> rule5)) -> rule3) ((triple16) -> rule5)) -> rule6)) -> rule7))] The squirrel sees the bear.[(triple15)] The squirrel visits the bear.[(triple16)]