The dog chases the mouse. The dog eats the mouse. The dog is big. The dog is blue. The dog is kind. The dog is rough. The dog likes the mouse. The mouse is kind. The mouse is red. The mouse likes the dog. If something eats the dog and the dog chases the mouse then the dog is rough. If the dog is blue then the dog is kind. If something likes the mouse then it eats the mouse. If something eats the mouse then the mouse eats the dog. If something likes the dog then the dog chases the mouse. If something eats the dog and the dog chases the mouse then it is blue. If the dog chases the mouse and the dog likes the mouse then the mouse likes the dog. If something likes the mouse then the mouse eats the dog.
The mouse is not blue.
@0: The dog chases the mouse.[(triple1 OR ((triple10) -> rule5))] The dog eats the mouse.[(triple2 OR ((triple7) -> rule3))] The dog is big.[(triple3)] The dog is blue.[(triple4)] The dog is kind.[(triple5 OR ((triple4) -> rule2))] The dog is rough.[(triple6 OR ((((triple2) -> rule4) triple1) -> rule1) OR ((((triple7) -> rule8) triple1) -> rule1) OR ((((triple2) -> rule4) ((triple10) -> rule5)) -> rule1) OR ((((triple7) -> rule8) ((triple10) -> rule5)) -> rule1) OR ((((((triple7) -> rule3)) -> rule4) triple1) -> rule1) OR ((((((triple7) -> rule3)) -> rule4) ((triple10) -> rule5)) -> rule1))] The dog likes the mouse.[(triple7)] The mouse is kind.[(triple8)] The mouse is red.[(triple9)] The mouse likes the dog.[(triple10 OR ((triple1 triple7) -> rule7))] @1: The mouse eats the dog.[(((triple2) -> rule4) OR ((triple7) -> rule8) OR ((((triple7) -> rule3)) -> rule4))] @2: The mouse is blue.[(((((triple2) -> rule4) triple1) -> rule6) OR ((((triple7) -> rule8) triple1) -> rule6) OR ((((triple2) -> rule4) ((triple10) -> rule5)) -> rule6) OR ((((triple7) -> rule8) ((triple10) -> rule5)) -> rule6) OR ((((((triple7) -> rule3)) -> rule4) triple1) -> rule6) OR ((((((triple7) -> rule3)) -> rule4) ((triple10) -> rule5)) -> rule6))]