The cat chases the mouse. The cat is blue. The cat visits the mouse. The mouse chases the cat. The mouse is blue. The mouse needs the cat. The mouse visits the cat. If someone chases the mouse then they need the cat. If someone chases the cat then the cat visits the mouse. If someone needs the mouse and the mouse needs the cat then they are cold. If someone is nice and they need the cat then the cat chases the mouse. If someone chases the mouse and they need the cat then the cat needs the mouse. If the cat needs the mouse and the mouse needs the cat then the cat visits the mouse. If the cat visits the mouse and the mouse chases the cat then the mouse needs the cat. If the mouse chases the cat then the cat visits the mouse.
The cat is not blue.
@0: The cat chases the mouse.[(triple1)] The cat is blue.[(triple2)] The cat visits the mouse.[(triple3 OR ((triple4) -> rule2) OR ((triple4) -> rule8) OR ((((triple1 ((triple1) -> rule1)) -> rule5) triple6) -> rule6))] The mouse chases the cat.[(triple4)] The mouse is blue.[(triple5)] The mouse needs the cat.[(triple6 OR ((triple3 triple4) -> rule7) OR ((((triple4) -> rule2) triple4) -> rule7) OR ((((triple4) -> rule8) triple4) -> rule7))] The mouse visits the cat.[(triple7)] @1: The cat needs the cat.[(((triple1) -> rule1))] @2: The cat needs the mouse.[(((triple1 ((triple1) -> rule1)) -> rule5))] @3: The cat is cold.[(((((triple1 ((triple1) -> rule1)) -> rule5) triple6) -> rule3) OR ((((triple1 ((triple1) -> rule1)) -> rule5) ((triple3 triple4) -> rule7)) -> rule3) OR ((((triple1 ((triple1) -> rule1)) -> rule5) ((((triple4) -> rule2) triple4) -> rule7)) -> rule3) OR ((((triple1 ((triple1) -> rule1)) -> rule5) ((((triple4) -> rule8) triple4) -> rule7)) -> rule3))]