The cat is blue. The cat is cold. The cat likes the mouse. The cat needs the rabbit. The cat sees the mouse. The mouse is blue. The mouse is red. The mouse likes the cat. The rabbit is blue. The rabbit likes the mouse. The rabbit needs the cat. The rabbit sees the cat. The rabbit sees the squirrel. The squirrel likes the cat. The squirrel sees the cat. The squirrel sees the rabbit. If someone sees the mouse then they are green. If someone is cold and big then they like the rabbit. If someone sees the mouse and the mouse sees the rabbit then they need the squirrel. If someone is big then they see the squirrel. If someone is blue and they need the rabbit then the rabbit is cold. If the mouse is big and the mouse is blue then the mouse sees the squirrel. If someone is green and they like the mouse then the mouse sees the cat. If someone sees the mouse and the mouse sees the cat then the cat is big.
The mouse is not red.
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat likes the mouse.[(triple3)] The cat needs the rabbit.[(triple4)] The cat sees the mouse.[(triple5)] The mouse is blue.[(triple6)] The mouse is red.[(triple7)] The mouse likes the cat.[(triple8)] The rabbit is blue.[(triple9)] The rabbit likes the mouse.[(triple10)] The rabbit needs the cat.[(triple11)] The rabbit sees the cat.[(triple12)] The rabbit sees the squirrel.[(triple13)] The squirrel likes the cat.[(triple14)] The squirrel sees the cat.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The cat is green.[(((triple5) -> rule1))] The rabbit is cold.[(((triple1 triple4) -> rule5))] @2: The mouse sees the cat.[(((((triple5) -> rule1) triple3) -> rule7))] @3: The cat is big.[(((triple5 ((((triple5) -> rule1) triple3) -> rule7)) -> rule8))] @4: The cat likes the rabbit.[(((triple2 ((triple5 ((((triple5) -> rule1) triple3) -> rule7)) -> rule8)) -> rule2))] The cat sees the squirrel.[(((((triple5 ((((triple5) -> rule1) triple3) -> rule7)) -> rule8)) -> rule4))]