Anne is smart. Charlie is furry. Fiona is young. Harry is furry. Red things are young. Furry things are red. Red, young things are not smart. If Charlie is green then Charlie is not smart. If something is smart and red then it is quiet. If Charlie is smart and Charlie is green then Charlie is not rough.
Harry is not green.
@0: Anne is smart.[(triple1)] Charlie is furry.[(triple2)] Fiona is young.[(triple3)] Harry is furry.[(triple4)] @1: Charlie is red.[(((triple2) -> rule2))] Harry is red.[(((triple4) -> rule2))] @2: Charlie is young.[(((((triple2) -> rule2)) -> rule1))] Harry is young.[(((((triple4) -> rule2)) -> rule1))] @3: Charlie is not smart.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule1)) -> rule3))] Harry is not smart.[(((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule1)) -> rule3))]