The cow eats the mouse. The cow is not blue. The cow is kind. The cow is not round. The cow needs the mouse. The cow sees the mouse. The mouse eats the cow. The mouse is round. The mouse needs the cow. The mouse sees the cow. If someone eats the mouse then they eat the cow. If the mouse sees the cow and the mouse does not eat the cow then the cow does not see the mouse. If someone needs the cow and they need the mouse then they see the cow. If someone eats the cow and the cow sees the mouse then they need the cow. If someone needs the cow and the cow eats the mouse then they need the mouse. If someone sees the cow and they are not red then they need the mouse.
The mouse is blue.
@0: The cow eats the mouse.[(triple1)] The cow is kind.[(triple3)] The cow is not blue.[(triple2)] The cow is not round.[(triple4)] The cow needs the mouse.[(triple5 OR ((((((triple1) -> rule1) triple6) -> rule4) triple1) -> rule5))] The cow sees the mouse.[(triple6)] The mouse eats the cow.[(triple7)] The mouse is round.[(triple8)] The mouse needs the cow.[(triple9 OR ((triple7 triple6) -> rule4))] The mouse sees the cow.[(triple10 OR ((triple9 ((triple9 triple1) -> rule5)) -> rule3) OR ((((triple7 triple6) -> rule4) ((triple9 triple1) -> rule5)) -> rule3) OR ((triple9 ((((triple7 triple6) -> rule4) triple1) -> rule5)) -> rule3) OR ((((triple7 triple6) -> rule4) ((((triple7 triple6) -> rule4) triple1) -> rule5)) -> rule3))] @1: The cow eats the cow.[(((triple1) -> rule1))] The mouse needs the mouse.[(((triple9 triple1) -> rule5) OR ((((triple7 triple6) -> rule4) triple1) -> rule5))] @2: The cow needs the cow.[(((((triple1) -> rule1) triple6) -> rule4))] @3: The cow sees the cow.[(((((((triple1) -> rule1) triple6) -> rule4) triple5) -> rule3) OR ((((((triple1) -> rule1) triple6) -> rule4) ((((((triple1) -> rule1) triple6) -> rule4) triple1) -> rule5)) -> rule3))]