The dog is blue. The dog is cold. The dog is red. The dog is rough. The dog is round. The dog likes the mouse. The dog needs the mouse. The dog sees the mouse. The mouse is blue. The mouse is cold. The mouse is red. The mouse is rough. The mouse is round. The mouse likes the dog. The mouse needs the dog. The mouse sees the dog. If something likes the dog then it likes the mouse. If something needs the mouse and it is red then it likes the mouse. If the mouse likes the dog then the mouse needs the dog. If something likes the mouse and the mouse is round then the mouse sees the dog. If something sees the mouse then the mouse is red. If the mouse sees the dog and the mouse needs the dog then the dog is blue. If something sees the dog and the dog sees the mouse then the mouse needs the dog. If the dog needs the mouse and the mouse needs the dog then the mouse is round.
The mouse does not see the mouse.
@0: The dog is blue.[(triple1 OR ((triple16 triple15) -> rule6) OR ((triple16 ((triple14) -> rule3)) -> rule6) OR ((triple16 ((triple16 triple8) -> rule7)) -> rule6) OR ((((triple6 triple13) -> rule4) triple15) -> rule6) OR ((((triple6 triple13) -> rule4) ((triple14) -> rule3)) -> rule6) OR ((((triple6 triple13) -> rule4) ((triple16 triple8) -> rule7)) -> rule6) OR ((triple16 ((((triple6 triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((triple6 ((triple7 triple15) -> rule8)) -> rule4) triple15) -> rule6) OR ((((((triple14) -> rule1) triple13) -> rule4) triple15) -> rule6) OR ((((((triple7 triple3) -> rule2) triple13) -> rule4) triple15) -> rule6) OR ((((triple6 triple13) -> rule4) ((((triple6 triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((triple6 ((triple7 triple15) -> rule8)) -> rule4) ((triple14) -> rule3)) -> rule6) OR ((((triple6 ((triple7 triple15) -> rule8)) -> rule4) ((triple16 triple8) -> rule7)) -> rule6) OR ((((((triple14) -> rule1) triple13) -> rule4) ((triple14) -> rule3)) -> rule6) OR ((((((triple14) -> rule1) triple13) -> rule4) ((triple16 triple8) -> rule7)) -> rule6) OR ((((((triple14) -> rule1) ((triple7 triple15) -> rule8)) -> rule4) triple15) -> rule6) OR ((((((triple7 triple3) -> rule2) triple13) -> rule4) ((triple14) -> rule3)) -> rule6) OR ((((((triple7 triple3) -> rule2) triple13) -> rule4) ((triple16 triple8) -> rule7)) -> rule6) OR ((((((triple7 triple3) -> rule2) ((triple7 triple15) -> rule8)) -> rule4) triple15) -> rule6) OR ((((triple6 ((triple7 triple15) -> rule8)) -> rule4) ((((triple6 triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple14) -> rule1) triple13) -> rule4) ((((triple6 triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple14) -> rule1) ((triple7 triple15) -> rule8)) -> rule4) ((triple14) -> rule3)) -> rule6) OR ((((((triple14) -> rule1) ((triple7 triple15) -> rule8)) -> rule4) ((triple16 triple8) -> rule7)) -> rule6) OR ((((((triple7 triple3) -> rule2) triple13) -> rule4) ((((triple6 triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple7 triple3) -> rule2) ((triple7 triple15) -> rule8)) -> rule4) ((triple14) -> rule3)) -> rule6) OR ((((((triple7 triple3) -> rule2) ((triple7 triple15) -> rule8)) -> rule4) ((triple16 triple8) -> rule7)) -> rule6) OR ((((((triple14) -> rule1) ((triple7 triple15) -> rule8)) -> rule4) ((((triple6 triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple7 triple3) -> rule2) ((triple7 triple15) -> rule8)) -> rule4) ((((triple6 triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((triple16 ((((((triple14) -> rule1) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((triple16 ((((((triple7 triple3) -> rule2) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((triple6 ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) triple15) -> rule6) OR ((((triple6 triple13) -> rule4) ((((((triple14) -> rule1) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((triple6 triple13) -> rule4) ((((((triple7 triple3) -> rule2) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((triple6 ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((triple14) -> rule3)) -> rule6) OR ((((triple6 ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((triple16 triple8) -> rule7)) -> rule6) OR ((((((triple14) -> rule1) ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) triple15) -> rule6) OR ((((((triple7 triple3) -> rule2) ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) triple15) -> rule6) OR ((((triple6 ((triple7 triple15) -> rule8)) -> rule4) ((((((triple14) -> rule1) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((triple6 ((triple7 triple15) -> rule8)) -> rule4) ((((((triple7 triple3) -> rule2) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((triple6 ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((((triple6 triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple14) -> rule1) triple13) -> rule4) ((((((triple14) -> rule1) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple14) -> rule1) triple13) -> rule4) ((((((triple7 triple3) -> rule2) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple14) -> rule1) ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((triple14) -> rule3)) -> rule6) OR ((((((triple14) -> rule1) ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((triple16 triple8) -> rule7)) -> rule6) OR ((((((triple7 triple3) -> rule2) triple13) -> rule4) ((((((triple14) -> rule1) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple7 triple3) -> rule2) triple13) -> rule4) ((((((triple7 triple3) -> rule2) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple7 triple3) -> rule2) ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((triple14) -> rule3)) -> rule6) OR ((((((triple7 triple3) -> rule2) ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((triple16 triple8) -> rule7)) -> rule6) OR ((((triple6 ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((((((triple14) -> rule1) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((triple6 ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((((((triple7 triple3) -> rule2) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple14) -> rule1) ((triple7 triple15) -> rule8)) -> rule4) ((((((triple14) -> rule1) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple14) -> rule1) ((triple7 triple15) -> rule8)) -> rule4) ((((((triple7 triple3) -> rule2) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple14) -> rule1) ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((((triple6 triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple7 triple3) -> rule2) ((triple7 triple15) -> rule8)) -> rule4) ((((((triple14) -> rule1) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple7 triple3) -> rule2) ((triple7 triple15) -> rule8)) -> rule4) ((((((triple7 triple3) -> rule2) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple7 triple3) -> rule2) ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((((triple6 triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple14) -> rule1) ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((((((triple14) -> rule1) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple14) -> rule1) ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((((((triple7 triple3) -> rule2) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple7 triple3) -> rule2) ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((((((triple14) -> rule1) triple13) -> rule4) triple8) -> rule7)) -> rule6) OR ((((((triple7 triple3) -> rule2) ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) ((((((triple7 triple3) -> rule2) triple13) -> rule4) triple8) -> rule7)) -> rule6))] The dog is cold.[(triple2)] The dog is red.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)] The dog likes the mouse.[(triple6 OR ((triple7 triple3) -> rule2))] The dog needs the mouse.[(triple7)] The dog sees the mouse.[(triple8)] The mouse is blue.[(triple9)] The mouse is cold.[(triple10)] The mouse is red.[(triple11 OR ((triple8) -> rule5))] The mouse is rough.[(triple12)] The mouse is round.[(triple13 OR ((triple7 triple15) -> rule8) OR ((triple7 ((triple14) -> rule3)) -> rule8) OR ((triple7 ((triple16 triple8) -> rule7)) -> rule8))] The mouse likes the dog.[(triple14)] The mouse needs the dog.[(triple15 OR ((triple14) -> rule3) OR ((triple16 triple8) -> rule7) OR ((((triple6 triple13) -> rule4) triple8) -> rule7) OR ((((((triple14) -> rule1) triple13) -> rule4) triple8) -> rule7) OR ((((((triple7 triple3) -> rule2) triple13) -> rule4) triple8) -> rule7))] The mouse sees the dog.[(triple16 OR ((triple6 triple13) -> rule4) OR ((triple6 ((triple7 triple15) -> rule8)) -> rule4) OR ((((triple14) -> rule1) triple13) -> rule4) OR ((((triple7 triple3) -> rule2) triple13) -> rule4) OR ((((triple14) -> rule1) ((triple7 triple15) -> rule8)) -> rule4) OR ((((triple7 triple3) -> rule2) ((triple7 triple15) -> rule8)) -> rule4) OR ((triple6 ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) OR ((((triple14) -> rule1) ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4) OR ((((triple7 triple3) -> rule2) ((triple7 ((triple14) -> rule3)) -> rule8)) -> rule4))] @1: The mouse likes the mouse.[(((triple14) -> rule1))]