The cat eats the mouse. The cat is round. The lion is round. The lion visits the cat. The mouse does not eat the cat. The mouse is not blue. The mouse is kind. If something is round then it needs the mouse. If something needs the mouse then the mouse is round.
The mouse is round.
@0: The cat eats the mouse.[(triple1)] The cat is round.[(triple2)] The lion is round.[(triple3)] The lion visits the cat.[(triple4)] The mouse does not eat the cat.[(triple5)] The mouse is kind.[(triple7)] The mouse is not blue.[(triple6)] @1: The cat needs the mouse.[(((triple2) -> rule1))] The lion needs the mouse.[(((triple3) -> rule1))] @2: The mouse is round.[(((((triple2) -> rule1)) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] @3: The mouse needs the mouse.[(((((((triple2) -> rule1)) -> rule2)) -> rule1) OR ((((((triple3) -> rule1)) -> rule2)) -> rule1))]