Anne is young. Charlie is not green. Fiona is cold. If Fiona is young then Fiona is nice. If something is young then it is blue. If something is smart and kind then it is blue. If Anne is kind then Anne is young. All green things are not smart. If Anne is blue and Anne is young then Anne is green. All kind things are green. All blue things are kind.
Charlie is young.
@0: Anne is young.[(triple1)] Charlie is not green.[(triple2)] Fiona is cold.[(triple3)] @1: Anne is blue.[(((triple1) -> rule2))] @2: Anne is green.[(((((triple1) -> rule2) triple1) -> rule6) OR ((((((triple1) -> rule2)) -> rule8)) -> rule7))] Anne is kind.[(((((triple1) -> rule2)) -> rule8))] @3: Anne is not smart.[(((((((triple1) -> rule2) triple1) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5))]