The cat needs the mouse. The mouse is not round. The mouse sees the cat. If someone is kind and they do not visit the mouse then they do not need the cat. If someone sees the cat and they are not round then they need the cat. If someone sees the cat and they need the cat then the cat sees the mouse. If someone needs the mouse then the mouse sees the cat. If someone is round and they need the mouse then the mouse does not see the cat. If someone sees the mouse then they are kind.
The cat needs the mouse.
@0: The cat needs the mouse.[(triple1)] The mouse is not round.[(triple2)] The mouse sees the cat.[(triple3 OR ((triple1) -> rule4))] @1: The mouse needs the cat.[(((triple3 triple2) -> rule2) OR ((((triple1) -> rule4) triple2) -> rule2))] @2: The cat sees the mouse.[(((triple3 ((triple3 triple2) -> rule2)) -> rule3) OR ((((triple1) -> rule4) ((triple3 triple2) -> rule2)) -> rule3) OR ((triple3 ((((triple1) -> rule4) triple2) -> rule2)) -> rule3) OR ((((triple1) -> rule4) ((((triple1) -> rule4) triple2) -> rule2)) -> rule3))] @3: The cat is kind.[(((((triple3 ((triple3 triple2) -> rule2)) -> rule3)) -> rule6) OR ((((((triple1) -> rule4) ((triple3 triple2) -> rule2)) -> rule3)) -> rule6) OR ((((triple3 ((((triple1) -> rule4) triple2) -> rule2)) -> rule3)) -> rule6) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) triple2) -> rule2)) -> rule3)) -> rule6))]