The cat is blue. The cat is nice. The cat is round. The cat visits the tiger. The mouse likes the cat. The mouse likes the tiger. The mouse sees the cat. The mouse visits the tiger. The squirrel likes the mouse. The tiger is cold. The tiger is kind. The tiger likes the mouse. The tiger likes the squirrel. The tiger sees the cat. The tiger sees the mouse. The tiger visits the squirrel. If someone is cold then they like the tiger. If someone visits the squirrel then they visit the mouse. If someone is nice then they see the cat. If someone sees the tiger then they are blue. If someone visits the mouse then the mouse sees the tiger. If someone visits the squirrel then they are cold. If someone is blue then they visit the squirrel.
The squirrel is not blue.
@0: The cat is blue.[(triple1)] The cat is nice.[(triple2)] The cat is round.[(triple3)] The cat visits the tiger.[(triple4)] The mouse likes the cat.[(triple5)] The mouse likes the tiger.[(triple6 OR ((((((((((((triple16) -> rule2)) -> rule5)) -> rule4)) -> rule7)) -> rule6)) -> rule1) OR ((((((((((((((triple1) -> rule7)) -> rule2)) -> rule5)) -> rule4)) -> rule7)) -> rule6)) -> rule1))] The mouse sees the cat.[(triple7)] The mouse visits the tiger.[(triple8)] The squirrel likes the mouse.[(triple9)] The tiger is cold.[(triple10 OR ((triple16) -> rule6))] The tiger is kind.[(triple11)] The tiger likes the mouse.[(triple12)] The tiger likes the squirrel.[(triple13)] The tiger sees the cat.[(triple14)] The tiger sees the mouse.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The cat sees the cat.[(((triple2) -> rule3))] The cat visits the squirrel.[(((triple1) -> rule7))] The tiger likes the tiger.[(((triple10) -> rule1) OR ((((triple16) -> rule6)) -> rule1))] The tiger visits the mouse.[(((triple16) -> rule2))] @2: The cat is cold.[(((((triple1) -> rule7)) -> rule6))] The cat visits the mouse.[(((((triple1) -> rule7)) -> rule2))] The mouse sees the tiger.[(((((triple16) -> rule2)) -> rule5) OR ((((((triple1) -> rule7)) -> rule2)) -> rule5))] @3: The cat likes the tiger.[(((((((triple1) -> rule7)) -> rule6)) -> rule1))] The mouse is blue.[(((((((triple16) -> rule2)) -> rule5)) -> rule4) OR ((((((((triple1) -> rule7)) -> rule2)) -> rule5)) -> rule4))] @4: The mouse visits the squirrel.[(((((((((triple16) -> rule2)) -> rule5)) -> rule4)) -> rule7) OR ((((((((((triple1) -> rule7)) -> rule2)) -> rule5)) -> rule4)) -> rule7))] @5: The mouse is cold.[(((((((((((triple16) -> rule2)) -> rule5)) -> rule4)) -> rule7)) -> rule6) OR ((((((((((((triple1) -> rule7)) -> rule2)) -> rule5)) -> rule4)) -> rule7)) -> rule6))] The mouse visits the mouse.[(((((((((((triple16) -> rule2)) -> rule5)) -> rule4)) -> rule7)) -> rule2) OR ((((((((((((triple1) -> rule7)) -> rule2)) -> rule5)) -> rule4)) -> rule7)) -> rule2))]