Anne is red. Charlie is young. All red, young people are smart. If someone is young then they are cold. If Anne is red then Anne is cold. All red people are young. Young, cold people are quiet. All cold, young people are red.
Charlie is not kind.
@0: Anne is red.[(triple1)] Charlie is young.[(triple2)] @1: Anne is cold.[(((triple1) -> rule3) OR ((((triple1) -> rule4)) -> rule2))] Anne is young.[(((triple1) -> rule4))] Charlie is cold.[(((triple2) -> rule2))] @2: Anne is quiet.[(((((triple1) -> rule4) ((triple1) -> rule3)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule5))] Anne is smart.[(((triple1 ((triple1) -> rule4)) -> rule1))] Charlie is quiet.[(((triple2 ((triple2) -> rule2)) -> rule5))] Charlie is red.[(((((triple2) -> rule2) triple2) -> rule6))] @3: Charlie is smart.[(((((((triple2) -> rule2) triple2) -> rule6) triple2) -> rule1))]