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