The cat chases the mouse. The cat sees the mouse. The lion is red. The lion visits the cat. The mouse is nice. The mouse visits the cat. The mouse visits the lion. If something sees the lion and it chases the mouse then it is young. If something is cold and it sees the cat then the cat sees the lion. If something chases the lion and the lion chases the mouse then the mouse sees the lion. If something visits the cat then it sees the mouse. If something visits the cat and it is round then the cat sees the lion. If the lion sees the mouse then the mouse is round.
The mouse does not see the lion.
@0: The cat chases the mouse.[(triple1)] The cat sees the mouse.[(triple2)] The lion is red.[(triple3)] The lion visits the cat.[(triple4)] The mouse is nice.[(triple5)] The mouse visits the cat.[(triple6)] The mouse visits the lion.[(triple7)] @1: The lion sees the mouse.[(((triple4) -> rule4))] The mouse sees the mouse.[(((triple6) -> rule4))] @2: The mouse is round.[(((((triple4) -> rule4)) -> rule6))] @3: The cat sees the lion.[(((triple6 ((((triple4) -> rule4)) -> rule6)) -> rule5))] @4: The cat is young.[(((((triple6 ((((triple4) -> rule4)) -> rule6)) -> rule5) triple1) -> rule1))]