The bear eats the squirrel. The bear is big. The bear is kind. The bear is red. The bear is rough. The bear is round. The bear likes the squirrel. The bear visits the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the bear. The squirrel visits the bear. If something visits the bear then it likes the squirrel. If something likes the bear then the bear eats the squirrel. If something likes the bear and it eats the bear then it likes the squirrel. If something likes the squirrel and the squirrel likes the bear then it visits the squirrel. If something is round then it likes the bear. If something visits the bear then it is round. If something likes the squirrel then the squirrel likes the bear. If something likes the squirrel then the squirrel visits the bear.
The squirrel eats the bear.
@0: The bear eats the squirrel.[(triple1 OR ((triple15) -> rule2) OR ((((triple14) -> rule5)) -> rule2) OR ((((triple6) -> rule5)) -> rule2) OR ((((triple7) -> rule7)) -> rule2) OR ((((((triple16) -> rule1)) -> rule7)) -> rule2) OR ((((((triple16) -> rule6)) -> rule5)) -> rule2) OR ((((((((triple7) -> rule8)) -> rule1)) -> rule7)) -> rule2) OR ((((((((triple7) -> rule8)) -> rule6)) -> rule5)) -> rule2))] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear likes the squirrel.[(triple7)] The bear visits the squirrel.[(triple8 OR ((triple7 triple15) -> rule4) OR ((triple7 ((triple14) -> rule5)) -> rule4) OR ((triple7 ((triple7) -> rule7)) -> rule4) OR ((triple7 ((((triple16) -> rule1)) -> rule7)) -> rule4) OR ((triple7 ((((triple16) -> rule6)) -> rule5)) -> rule4) OR ((triple7 ((((((triple7) -> rule8)) -> rule1)) -> rule7)) -> rule4) OR ((triple7 ((((((triple7) -> rule8)) -> rule6)) -> rule5)) -> rule4))] The squirrel eats the bear.[(triple9)] The squirrel is big.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14 OR ((triple16) -> rule6) OR ((((triple7) -> rule8)) -> rule6) OR ((((((triple15 triple9) -> rule3)) -> rule8)) -> rule6) OR ((((((((triple7) -> rule7) triple9) -> rule3)) -> rule8)) -> rule6))] The squirrel likes the bear.[(triple15 OR ((triple14) -> rule5) OR ((triple7) -> rule7) OR ((((triple16) -> rule1)) -> rule7) OR ((((triple16) -> rule6)) -> rule5) OR ((((((triple7) -> rule8)) -> rule1)) -> rule7) OR ((((((triple7) -> rule8)) -> rule6)) -> rule5))] The squirrel visits the bear.[(triple16 OR ((triple7) -> rule8) OR ((((triple15 triple9) -> rule3)) -> rule8) OR ((((((triple14) -> rule5) triple9) -> rule3)) -> rule8) OR ((((((triple7) -> rule7) triple9) -> rule3)) -> rule8))] @1: The bear likes the bear.[(((triple6) -> rule5))] The squirrel likes the squirrel.[(((triple16) -> rule1) OR ((triple15 triple9) -> rule3) OR ((((triple7) -> rule8)) -> rule1) OR ((((triple14) -> rule5) triple9) -> rule3) OR ((((triple7) -> rule7) triple9) -> rule3) OR ((((((triple16) -> rule6)) -> rule5) triple9) -> rule3) OR ((((((((triple7) -> rule8)) -> rule6)) -> rule5) triple9) -> rule3))] @2: The squirrel visits the squirrel.[(((((triple16) -> rule1) triple15) -> rule4) OR ((((triple15 triple9) -> rule3) triple15) -> rule4) OR ((((triple16) -> rule1) ((triple14) -> rule5)) -> rule4) OR ((((triple16) -> rule1) ((triple7) -> rule7)) -> rule4) OR ((((triple15 triple9) -> rule3) ((triple14) -> rule5)) -> rule4) OR ((((triple15 triple9) -> rule3) ((triple7) -> rule7)) -> rule4) OR ((((((triple7) -> rule8)) -> rule1) triple15) -> rule4) OR ((((((triple14) -> rule5) triple9) -> rule3) triple15) -> rule4) OR ((((((triple7) -> rule7) triple9) -> rule3) triple15) -> rule4) OR ((((triple16) -> rule1) ((((triple16) -> rule1)) -> rule7)) -> rule4) OR ((((triple16) -> rule1) ((((triple16) -> rule6)) -> rule5)) -> rule4) OR ((((((triple7) -> rule8)) -> rule1) ((triple14) -> rule5)) -> rule4) OR ((((((triple7) -> rule8)) -> rule1) ((triple7) -> rule7)) -> rule4) OR ((((triple15 triple9) -> rule3) ((((triple16) -> rule1)) -> rule7)) -> rule4) OR ((((triple15 triple9) -> rule3) ((((triple16) -> rule6)) -> rule5)) -> rule4) OR ((((((triple14) -> rule5) triple9) -> rule3) ((triple14) -> rule5)) -> rule4) OR ((((((triple14) -> rule5) triple9) -> rule3) ((triple7) -> rule7)) -> rule4) OR ((((((triple7) -> rule7) triple9) -> rule3) ((triple14) -> rule5)) -> rule4) OR ((((((triple7) -> rule7) triple9) -> rule3) ((triple7) -> rule7)) -> rule4) OR ((((((triple7) -> rule8)) -> rule1) ((((triple16) -> rule1)) -> rule7)) -> rule4) OR ((((((triple7) -> rule8)) -> rule1) ((((triple16) -> rule6)) -> rule5)) -> rule4) OR ((((((triple14) -> rule5) triple9) -> rule3) ((((triple16) -> rule1)) -> rule7)) -> rule4) OR ((((((triple14) -> rule5) triple9) -> rule3) ((((triple16) -> rule6)) -> rule5)) -> rule4) OR ((((((triple7) -> rule7) triple9) -> rule3) ((((triple16) -> rule1)) -> rule7)) -> rule4) OR ((((((triple7) -> rule7) triple9) -> rule3) ((((triple16) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple16) -> rule6)) -> rule5) triple9) -> rule3) triple15) -> rule4) OR ((((triple16) -> rule1) ((((((triple7) -> rule8)) -> rule1)) -> rule7)) -> rule4) OR ((((triple16) -> rule1) ((((((triple7) -> rule8)) -> rule6)) -> rule5)) -> rule4) OR ((((triple15 triple9) -> rule3) ((((((triple7) -> rule8)) -> rule1)) -> rule7)) -> rule4) OR ((((triple15 triple9) -> rule3) ((((((triple7) -> rule8)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple16) -> rule6)) -> rule5) triple9) -> rule3) ((triple14) -> rule5)) -> rule4) OR ((((((((triple16) -> rule6)) -> rule5) triple9) -> rule3) ((triple7) -> rule7)) -> rule4) OR ((((((triple7) -> rule8)) -> rule1) ((((((triple7) -> rule8)) -> rule1)) -> rule7)) -> rule4) OR ((((((triple7) -> rule8)) -> rule1) ((((((triple7) -> rule8)) -> rule6)) -> rule5)) -> rule4) OR ((((((triple14) -> rule5) triple9) -> rule3) ((((((triple7) -> rule8)) -> rule1)) -> rule7)) -> rule4) OR ((((((triple14) -> rule5) triple9) -> rule3) ((((((triple7) -> rule8)) -> rule6)) -> rule5)) -> rule4) OR ((((((triple7) -> rule7) triple9) -> rule3) ((((((triple7) -> rule8)) -> rule1)) -> rule7)) -> rule4) OR ((((((triple7) -> rule7) triple9) -> rule3) ((((((triple7) -> rule8)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple16) -> rule6)) -> rule5) triple9) -> rule3) ((((triple16) -> rule1)) -> rule7)) -> rule4) OR ((((((((triple16) -> rule6)) -> rule5) triple9) -> rule3) ((((triple16) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple16) -> rule6)) -> rule5) triple9) -> rule3) ((((((triple7) -> rule8)) -> rule1)) -> rule7)) -> rule4) OR ((((((((triple16) -> rule6)) -> rule5) triple9) -> rule3) ((((((triple7) -> rule8)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule6)) -> rule5) triple9) -> rule3) triple15) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule6)) -> rule5) triple9) -> rule3) ((triple14) -> rule5)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule6)) -> rule5) triple9) -> rule3) ((triple7) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule6)) -> rule5) triple9) -> rule3) ((((triple16) -> rule1)) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule6)) -> rule5) triple9) -> rule3) ((((triple16) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule6)) -> rule5) triple9) -> rule3) ((((((triple7) -> rule8)) -> rule1)) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule8)) -> rule6)) -> rule5) triple9) -> rule3) ((((((triple7) -> rule8)) -> rule6)) -> rule5)) -> rule4))]