The bear eats the rabbit. The bear visits the cow. The cow eats the rabbit. The cow is rough. The cow is round. The cow visits the rabbit. The rabbit eats the cow. The squirrel eats the bear. The squirrel is round. The squirrel sees the bear. The squirrel sees the rabbit. If something is nice and it sees the squirrel then the squirrel visits the cow. If something is nice and it visits the squirrel then it sees the squirrel. If something sees the squirrel then the squirrel eats the bear. If something eats the squirrel then it is nice. If something sees the rabbit then it is rough. If something eats the rabbit and it is round then the rabbit sees the squirrel. If something visits the cow then it eats the squirrel. If something visits the rabbit then the rabbit is round. If something sees the bear then the bear visits the squirrel.
The bear sees the squirrel.
@0: The bear eats the rabbit.[(triple1)] The bear visits the cow.[(triple2)] The cow eats the rabbit.[(triple3)] The cow is rough.[(triple4)] The cow is round.[(triple5)] The cow visits the rabbit.[(triple6)] The rabbit eats the cow.[(triple7)] The squirrel eats the bear.[(triple8 OR ((((triple3 triple5) -> rule6)) -> rule3) OR ((((((((triple2) -> rule7)) -> rule4) ((triple10) -> rule9)) -> rule2)) -> rule3))] The squirrel is round.[(triple9)] The squirrel sees the bear.[(triple10)] The squirrel sees the rabbit.[(triple11)] @1: The bear eats the squirrel.[(((triple2) -> rule7))] The bear visits the squirrel.[(((triple10) -> rule9))] The rabbit is round.[(((triple6) -> rule8))] The rabbit sees the squirrel.[(((triple3 triple5) -> rule6))] The squirrel is rough.[(((triple11) -> rule5))] @2: The bear is nice.[(((((triple2) -> rule7)) -> rule4))] @3: The bear sees the squirrel.[(((((((triple2) -> rule7)) -> rule4) ((triple10) -> rule9)) -> rule2))] @4: The squirrel visits the cow.[(((((((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule4) ((triple10) -> rule9)) -> rule2)) -> rule1))] @5: The squirrel eats the squirrel.[(((((((((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule4) ((triple10) -> rule9)) -> rule2)) -> rule1)) -> rule7))] @6: The squirrel is nice.[(((((((((((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule4) ((triple10) -> rule9)) -> rule2)) -> rule1)) -> rule7)) -> rule4))]