Anne is quiet. Anne is red. Bob is round. Charlie is kind. Charlie is smart. Fiona is red. Fiona is smart. All smart things are red. All red things are kind.
Fiona is not smart.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Bob is round.[(triple3)] Charlie is kind.[(triple4 OR ((((triple5) -> rule1)) -> rule2))] Charlie is smart.[(triple5)] Fiona is red.[(triple6 OR ((triple7) -> rule1))] Fiona is smart.[(triple7)] @1: Anne is kind.[(((triple2) -> rule2))] Charlie is red.[(((triple5) -> rule1))] Fiona is kind.[(((triple6) -> rule2) OR ((((triple7) -> rule1)) -> rule2))]