Anne is big. Charlie is young. Fiona is nice. If Charlie is quiet then Charlie is kind. All young things are quiet. If something is big then it is quiet. All young, kind things are smart. All nice things are big. Quiet, kind things are smart. All smart things are green. All young, big things are nice.
Anne is not quiet.
@0: Anne is big.[(triple1)] Charlie is young.[(triple2)] Fiona is nice.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule3))] Charlie is quiet.[(((triple2) -> rule2))] Fiona is big.[(((triple3) -> rule5))] @2: Charlie is kind.[(((((triple2) -> rule2)) -> rule1))] Fiona is quiet.[(((((triple3) -> rule5)) -> rule3))] @3: Charlie is smart.[(((triple2 ((((triple2) -> rule2)) -> rule1)) -> rule4) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule1)) -> rule6))] @4: Charlie is green.[(((((triple2 ((((triple2) -> rule2)) -> rule1)) -> rule4)) -> rule7) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule1)) -> rule6)) -> rule7))]