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