The dog is blue. The dog sees the mouse. The mouse is not round. The mouse sees the dog. The rabbit is cold. The rabbit is red. The rabbit sees the mouse. The squirrel is green. The squirrel needs the mouse. The squirrel sees the dog. The squirrel does not visit the dog. If something sees the dog then it sees the squirrel. If something is red and blue then it sees the squirrel. If something needs the squirrel and it is green then it visits the rabbit. If something needs the rabbit and the rabbit is blue then the rabbit does not need the dog. If the mouse needs the rabbit and the rabbit is cold then the mouse is green. If something sees the squirrel then it needs the rabbit. If something sees the rabbit then it needs the mouse. If something is blue then it needs the dog. If something is green and it sees the dog then it is blue.
The mouse visits the mouse.
@0: The dog is blue.[(triple1)] The dog sees the mouse.[(triple2)] The mouse is not round.[(triple3)] The mouse sees the dog.[(triple4)] The rabbit is cold.[(triple5)] The rabbit is red.[(triple6)] The rabbit sees the mouse.[(triple7)] The squirrel does not visit the dog.[(triple11)] The squirrel is green.[(triple8)] The squirrel needs the mouse.[(triple9)] The squirrel sees the dog.[(triple10)] @1: The dog needs the dog.[(((triple1) -> rule8))] The mouse sees the squirrel.[(((triple4) -> rule1))] The squirrel is blue.[(((triple8 triple10) -> rule9))] The squirrel sees the squirrel.[(((triple10) -> rule1))] @2: The mouse needs the rabbit.[(((((triple4) -> rule1)) -> rule6))] The squirrel needs the dog.[(((((triple8 triple10) -> rule9)) -> rule8))] The squirrel needs the rabbit.[(((((triple10) -> rule1)) -> rule6))] @3: The mouse is green.[(((((((triple4) -> rule1)) -> rule6) triple5) -> rule5))] @4: The mouse is blue.[(((((((((triple4) -> rule1)) -> rule6) triple5) -> rule5) triple4) -> rule9))] @5: The mouse needs the dog.[(((((((((((triple4) -> rule1)) -> rule6) triple5) -> rule5) triple4) -> rule9)) -> rule8))]