The bear is kind. The bear sees the mouse. The bear sees the squirrel. The cat is round. The mouse needs the cat. The mouse needs the squirrel. The squirrel needs the bear. If someone sees the cat then the cat is green. If someone is kind and blue then they need the mouse. If someone visits the bear and they visit the squirrel then the bear needs the mouse. If someone needs the mouse then they are nice. If someone needs the bear and they need the cat then the cat sees the bear. If someone needs the squirrel and the squirrel visits the bear then the squirrel needs the mouse. If someone sees the bear then the bear is blue. If the mouse visits the cat then the cat visits the bear. If someone needs the squirrel then they need the bear.
The mouse does not visit the mouse.
@0: The bear is kind.[(triple1)] The bear sees the mouse.[(triple2)] The bear sees the squirrel.[(triple3)] The cat is round.[(triple4)] The mouse needs the cat.[(triple5)] The mouse needs the squirrel.[(triple6)] The squirrel needs the bear.[(triple7)] @1: The mouse needs the bear.[(((triple6) -> rule9))] @2: The cat sees the bear.[(((((triple6) -> rule9) triple5) -> rule5))] @3: The bear is blue.[(((((((triple6) -> rule9) triple5) -> rule5)) -> rule7))] @4: The bear needs the mouse.[(((triple1 ((((((triple6) -> rule9) triple5) -> rule5)) -> rule7)) -> rule2))] @5: The bear is nice.[(((((triple1 ((((((triple6) -> rule9) triple5) -> rule5)) -> rule7)) -> rule2)) -> rule4))]