The dog eats the mouse. The dog is blue. The dog is cold. The dog is green. The dog is kind. The dog is nice. The dog needs the mouse. The mouse eats the dog. The mouse is blue. The mouse is cold. The mouse is green. The mouse is kind. The mouse is nice. The mouse likes the dog. The mouse needs the dog. If someone likes the dog then the dog eats the mouse. If someone is nice and they like the dog then they like the mouse. Cold people are nice. If someone likes the mouse then they are nice. If someone is kind then they eat the mouse. If someone is nice and they need the mouse then the mouse is blue. If someone likes the mouse and they are green then the mouse eats the dog. If someone is blue and they like the dog then they like the mouse.
The mouse likes the dog.
@0: The dog eats the mouse.[(triple1 OR ((triple14) -> rule1) OR ((triple5) -> rule5))] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is green.[(triple4)] The dog is kind.[(triple5)] The dog is nice.[(triple6 OR ((triple3) -> rule3))] The dog needs the mouse.[(triple7)] The mouse eats the dog.[(triple8 OR ((((triple13 triple14) -> rule2) triple11) -> rule7) OR ((((triple9 triple14) -> rule8) triple11) -> rule7) OR ((((((triple10) -> rule3) triple14) -> rule2) triple11) -> rule7) OR ((((((triple6 triple7) -> rule6) triple14) -> rule8) triple11) -> rule7) OR ((((((((triple3) -> rule3) triple7) -> rule6) triple14) -> rule8) triple11) -> rule7))] The mouse is blue.[(triple9 OR ((triple6 triple7) -> rule6) OR ((((triple3) -> rule3) triple7) -> rule6))] The mouse is cold.[(triple10)] The mouse is green.[(triple11)] The mouse is kind.[(triple12)] The mouse is nice.[(triple13 OR ((triple10) -> rule3) OR ((((triple9 triple14) -> rule8)) -> rule4) OR ((((((triple6 triple7) -> rule6) triple14) -> rule8)) -> rule4) OR ((((((((triple3) -> rule3) triple7) -> rule6) triple14) -> rule8)) -> rule4))] The mouse likes the dog.[(triple14)] The mouse needs the dog.[(triple15)] @1: The mouse eats the mouse.[(((triple12) -> rule5))] The mouse likes the mouse.[(((triple13 triple14) -> rule2) OR ((triple9 triple14) -> rule8) OR ((((triple10) -> rule3) triple14) -> rule2) OR ((((triple6 triple7) -> rule6) triple14) -> rule8) OR ((((((triple3) -> rule3) triple7) -> rule6) triple14) -> rule8))]