The lion is kind. The mouse chases the lion. The rabbit is blue. The rabbit is round. The tiger is blue. The tiger is cold. The tiger is young. If something sees the rabbit then the rabbit is cold. If something sees the tiger then the tiger is kind. If something is round then it is kind. If the rabbit sees the lion and the rabbit sees the mouse then the mouse sees the tiger. If something is kind then it sees the mouse. If something is blue and kind then it sees the rabbit. If something chases the lion and the lion chases the rabbit then the rabbit chases the mouse. If something is kind and it sees the mouse then it sees the lion.
The mouse does not see the rabbit.
@0: The lion is kind.[(triple1)] The mouse chases the lion.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is round.[(triple4)] The tiger is blue.[(triple5)] The tiger is cold.[(triple6)] The tiger is young.[(triple7)] @1: The lion sees the mouse.[(((triple1) -> rule5))] The rabbit is kind.[(((triple4) -> rule3))] @2: The lion sees the lion.[(((triple1 ((triple1) -> rule5)) -> rule8))] The rabbit sees the mouse.[(((((triple4) -> rule3)) -> rule5))] The rabbit sees the rabbit.[(((triple3 ((triple4) -> rule3)) -> rule6))] @3: The rabbit is cold.[(((((triple3 ((triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple5 ((((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule5)) -> rule8) ((((triple4) -> rule3)) -> rule5)) -> rule4)) -> rule2)) -> rule6)) -> rule1))] The rabbit sees the lion.[(((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule5)) -> rule8))] @4: The mouse sees the tiger.[(((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule5)) -> rule8) ((((triple4) -> rule3)) -> rule5)) -> rule4))] @5: The tiger is kind.[(((((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule5)) -> rule8) ((((triple4) -> rule3)) -> rule5)) -> rule4)) -> rule2))] @6: The tiger sees the mouse.[(((((((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule5)) -> rule8) ((((triple4) -> rule3)) -> rule5)) -> rule4)) -> rule2)) -> rule5))] The tiger sees the rabbit.[(((triple5 ((((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule5)) -> rule8) ((((triple4) -> rule3)) -> rule5)) -> rule4)) -> rule2)) -> rule6))] @7: The tiger sees the lion.[(((((((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule5)) -> rule8) ((((triple4) -> rule3)) -> rule5)) -> rule4)) -> rule2) ((((((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule5)) -> rule8) ((((triple4) -> rule3)) -> rule5)) -> rule4)) -> rule2)) -> rule5)) -> rule8))]