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