The dog is blue. The dog is cold. The dog is green. The dog is kind. The dog is young. The dog likes the mouse. The dog sees the mouse. The dog visits the mouse. The mouse is blue. The mouse is cold. The mouse is green. The mouse is kind. The mouse is young. The mouse likes the dog. The mouse sees the dog. The mouse visits the dog. If someone is kind then they visit the dog. If someone is cold and they visit the dog then they visit the mouse. If someone is kind and they like the mouse then the mouse likes the dog. If someone likes the dog and the dog is young then they like the mouse. If someone visits the dog and the dog visits the mouse then the dog is young. If the dog is cold and the dog visits the mouse then the dog is blue. If someone likes the dog and they see the mouse then they are young. If someone likes the mouse and the mouse sees the dog then the dog visits the mouse.
The dog likes the dog.
@0: The dog is blue.[(triple1 OR ((triple2 triple8) -> rule6) OR ((triple2 ((triple6 triple15) -> rule8)) -> rule6) OR ((triple2 ((triple2 ((triple4) -> rule1)) -> rule2)) -> rule6) OR ((triple2 ((((triple14 triple5) -> rule4) triple15) -> rule8)) -> rule6) OR ((triple2 ((((((triple4 triple6) -> rule3) triple5) -> rule4) triple15) -> rule8)) -> rule6))] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4)] The dog is young.[(triple5 OR ((triple16 triple8) -> rule5) OR ((triple16 ((triple6 triple15) -> rule8)) -> rule5) OR ((((triple12) -> rule1) triple8) -> rule5) OR ((((triple4) -> rule1) triple8) -> rule5) OR ((((triple12) -> rule1) ((triple6 triple15) -> rule8)) -> rule5) OR ((((triple4) -> rule1) ((triple6 triple15) -> rule8)) -> rule5) OR ((triple16 ((triple2 ((triple4) -> rule1)) -> rule2)) -> rule5) OR ((((triple12) -> rule1) ((triple2 ((triple4) -> rule1)) -> rule2)) -> rule5) OR ((((triple4) -> rule1) ((triple2 ((triple4) -> rule1)) -> rule2)) -> rule5))] The dog likes the mouse.[(triple6)] The dog sees the mouse.[(triple7)] The dog visits the mouse.[(triple8 OR ((triple6 triple15) -> rule8) OR ((triple2 ((triple4) -> rule1)) -> rule2) OR ((((triple14 triple5) -> rule4) triple15) -> rule8) OR ((((((triple4 triple6) -> rule3) triple5) -> rule4) triple15) -> rule8))] The mouse is blue.[(triple9)] The mouse is cold.[(triple10)] The mouse is green.[(triple11)] The mouse is kind.[(triple12)] The mouse is young.[(triple13)] The mouse likes the dog.[(triple14 OR ((triple4 triple6) -> rule3))] The mouse sees the dog.[(triple15)] The mouse visits the dog.[(triple16 OR ((triple12) -> rule1))] @1: The dog visits the dog.[(((triple4) -> rule1))] The mouse likes the mouse.[(((triple14 triple5) -> rule4) OR ((triple14 ((triple16 triple8) -> rule5)) -> rule4) OR ((((triple4 triple6) -> rule3) triple5) -> rule4) OR ((((triple4 triple6) -> rule3) ((triple16 triple8) -> rule5)) -> rule4) OR ((triple14 ((triple16 ((triple6 triple15) -> rule8)) -> rule5)) -> rule4) OR ((triple14 ((((triple12) -> rule1) triple8) -> rule5)) -> rule4) OR ((triple14 ((((triple4) -> rule1) triple8) -> rule5)) -> rule4) OR ((triple14 ((((triple12) -> rule1) ((triple6 triple15) -> rule8)) -> rule5)) -> rule4) OR ((triple14 ((((triple4) -> rule1) ((triple6 triple15) -> rule8)) -> rule5)) -> rule4) OR ((((triple4 triple6) -> rule3) ((triple16 ((triple6 triple15) -> rule8)) -> rule5)) -> rule4) OR ((((triple4 triple6) -> rule3) ((((triple12) -> rule1) triple8) -> rule5)) -> rule4) OR ((((triple4 triple6) -> rule3) ((((triple4) -> rule1) triple8) -> rule5)) -> rule4) OR ((((triple4 triple6) -> rule3) ((((triple12) -> rule1) ((triple6 triple15) -> rule8)) -> rule5)) -> rule4) OR ((((triple4 triple6) -> rule3) ((((triple4) -> rule1) ((triple6 triple15) -> rule8)) -> rule5)) -> rule4) OR ((triple14 ((triple16 ((triple2 ((triple4) -> rule1)) -> rule2)) -> rule5)) -> rule4) OR ((triple14 ((((triple12) -> rule1) ((triple2 ((triple4) -> rule1)) -> rule2)) -> rule5)) -> rule4) OR ((triple14 ((((triple4) -> rule1) ((triple2 ((triple4) -> rule1)) -> rule2)) -> rule5)) -> rule4) OR ((((triple4 triple6) -> rule3) ((triple16 ((triple2 ((triple4) -> rule1)) -> rule2)) -> rule5)) -> rule4) OR ((((triple4 triple6) -> rule3) ((((triple12) -> rule1) ((triple2 ((triple4) -> rule1)) -> rule2)) -> rule5)) -> rule4) OR ((((triple4 triple6) -> rule3) ((((triple4) -> rule1) ((triple2 ((triple4) -> rule1)) -> rule2)) -> rule5)) -> rule4))] The mouse visits the mouse.[(((triple10 triple16) -> rule2) OR ((triple10 ((triple12) -> rule1)) -> rule2))]