The bear is blue. The bear is green. The bear is rough. The bear likes the cow. The bear likes the rabbit. The bear sees the squirrel. The cow likes the bear. The cow visits the bear. The rabbit likes the bear. The rabbit sees the bear. The squirrel is green. The squirrel likes the cow. The squirrel sees the bear. The squirrel sees the rabbit. If the rabbit sees the bear and the rabbit sees the squirrel then the bear likes the squirrel. If someone is green and they see the bear then they like the rabbit. If someone sees the cow then the cow visits the rabbit. If someone likes the bear and the bear visits the cow then the bear sees the rabbit. If the rabbit sees the bear then the rabbit likes the squirrel. If someone sees the bear and they see the rabbit then they are big. If someone visits the bear then the bear visits the cow. If someone visits the rabbit then they like the rabbit. If the bear sees the rabbit and the bear visits the cow then the rabbit sees the cow.
The bear does not visit the squirrel.
@0: The bear is blue.[(triple1)] The bear is green.[(triple2)] The bear is rough.[(triple3)] The bear likes the cow.[(triple4)] The bear likes the rabbit.[(triple5)] The bear sees the squirrel.[(triple6)] The cow likes the bear.[(triple7)] The cow visits the bear.[(triple8)] The rabbit likes the bear.[(triple9)] The rabbit sees the bear.[(triple10)] The squirrel is green.[(triple11)] The squirrel likes the cow.[(triple12)] The squirrel sees the bear.[(triple13)] The squirrel sees the rabbit.[(triple14)] @1: The bear visits the cow.[(((triple8) -> rule7))] The rabbit likes the squirrel.[(((triple10) -> rule5))] The squirrel is big.[(((triple13 triple14) -> rule6))] The squirrel likes the rabbit.[(((triple11 triple13) -> rule2))] @2: The bear sees the rabbit.[(((triple7 ((triple8) -> rule7)) -> rule4) OR ((triple9 ((triple8) -> rule7)) -> rule4))] @3: The rabbit sees the cow.[(((((triple7 ((triple8) -> rule7)) -> rule4) ((triple8) -> rule7)) -> rule9) OR ((((triple9 ((triple8) -> rule7)) -> rule4) ((triple8) -> rule7)) -> rule9))] @4: The cow visits the rabbit.[(((((((triple7 ((triple8) -> rule7)) -> rule4) ((triple8) -> rule7)) -> rule9)) -> rule3) OR ((((((triple9 ((triple8) -> rule7)) -> rule4) ((triple8) -> rule7)) -> rule9)) -> rule3))] @5: The cow likes the rabbit.[(((((((((triple7 ((triple8) -> rule7)) -> rule4) ((triple8) -> rule7)) -> rule9)) -> rule3)) -> rule8) OR ((((((((triple9 ((triple8) -> rule7)) -> rule4) ((triple8) -> rule7)) -> rule9)) -> rule3)) -> rule8))]