The bear is kind. The bear visits the mouse. The cow sees the lion. The cow visits the mouse. The lion is round. The lion sees the bear. The lion visits the bear. The lion visits the mouse. The mouse needs the bear. The mouse sees the bear. The mouse sees the cow. If something needs the bear then it is green. If the bear sees the lion then the lion is big. If something sees the mouse and the mouse sees the cow then the mouse needs the cow. If something needs the cow then it is round. If something is green then it sees the mouse. If something is green then it visits the bear. If something sees the mouse and it sees the bear then the bear is green. If something sees the cow and it is round then the cow visits the lion. If something is blue and it visits the cow then the cow sees the bear.
The bear does not visit the bear.
@0: The bear is kind.[(triple1)] The bear visits the mouse.[(triple2)] The cow sees the lion.[(triple3)] The cow visits the mouse.[(triple4)] The lion is round.[(triple5)] The lion sees the bear.[(triple6)] The lion visits the bear.[(triple7)] The lion visits the mouse.[(triple8)] The mouse needs the bear.[(triple9)] The mouse sees the bear.[(triple10)] The mouse sees the cow.[(triple11)] @1: The mouse is green.[(((triple9) -> rule1))] @2: The mouse sees the mouse.[(((((triple9) -> rule1)) -> rule5))] The mouse visits the bear.[(((((triple9) -> rule1)) -> rule6))] @3: The bear is green.[(((((((triple9) -> rule1)) -> rule5) triple10) -> rule7))] The mouse needs the cow.[(((((((triple9) -> rule1)) -> rule5) triple11) -> rule3) OR ((((((((((triple9) -> rule1)) -> rule5) triple10) -> rule7)) -> rule5) triple11) -> rule3))] @4: The bear sees the mouse.[(((((((((triple9) -> rule1)) -> rule5) triple10) -> rule7)) -> rule5))] The bear visits the bear.[(((((((((triple9) -> rule1)) -> rule5) triple10) -> rule7)) -> rule6))] The mouse is round.[(((((((((triple9) -> rule1)) -> rule5) triple11) -> rule3)) -> rule4) OR ((((((((((((triple9) -> rule1)) -> rule5) triple10) -> rule7)) -> rule5) triple11) -> rule3)) -> rule4))] @5: The cow visits the lion.[(((triple11 ((((((((triple9) -> rule1)) -> rule5) triple11) -> rule3)) -> rule4)) -> rule8) OR ((triple11 ((((((((((((triple9) -> rule1)) -> rule5) triple10) -> rule7)) -> rule5) triple11) -> rule3)) -> rule4)) -> rule8))]