The cow likes the mouse. The mouse likes the cow. The mouse sees the cow. If someone sees the cow then the cow needs the mouse. If the mouse likes the cow then the cow needs the mouse. If the mouse sees the cow and the mouse likes the cow then the cow is not blue. If someone needs the cow then they like the mouse. All red, kind people are nice. If the mouse does not need the cow then the mouse sees the cow. If someone needs the mouse and the mouse likes the cow then they are red. If the cow likes the mouse then the cow is kind.
The mouse does not like the mouse.
@0: The cow likes the mouse.[(triple1)] The mouse likes the cow.[(triple2)] The mouse sees the cow.[(triple3)] @1: The cow is kind.[(((triple1) -> rule8))] The cow is not blue.[(((triple3 triple2) -> rule3))] The cow needs the mouse.[(((triple2) -> rule2) OR ((triple3) -> rule1))] @2: The cow is red.[(((((triple2) -> rule2) triple2) -> rule7) OR ((((triple3) -> rule1) triple2) -> rule7))] @3: The cow is nice.[(((((((triple2) -> rule2) triple2) -> rule7) ((triple1) -> rule8)) -> rule5) OR ((((((triple3) -> rule1) triple2) -> rule7) ((triple1) -> rule8)) -> rule5))]