Anne is kind. Charlie is young. Kind people are cold. If someone is young then they are cold. If someone is young then they are blue. Cold people are round. All round people are young. All round people are cold. All blue people are kind. If someone is blue and green then they are round.
Anne is red.
@0: Anne is kind.[(triple1)] Charlie is young.[(triple2)] @1: Anne is cold.[(((triple1) -> rule1))] Charlie is blue.[(((triple2) -> rule3))] Charlie is cold.[(((triple2) -> rule2) OR ((((((triple2) -> rule3)) -> rule7)) -> rule1))] @2: Anne is round.[(((((triple1) -> rule1)) -> rule4))] Charlie is kind.[(((((triple2) -> rule3)) -> rule7))] Charlie is round.[(((((triple2) -> rule2)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule7)) -> rule1)) -> rule4))] @3: Anne is young.[(((((((triple1) -> rule1)) -> rule4)) -> rule5))] @4: Anne is blue.[(((((((((triple1) -> rule1)) -> rule4)) -> rule5)) -> rule3))]