Anne is not blue. Anne is young. Erin is not big. Fiona is quiet. Harry is kind. Harry is quiet. Harry is rough. If something is rough then it is not blue. If something is quiet and not blue then it is young. All young things are smart. If something is quiet and not young then it is smart. Smart things are kind. All big things are not kind.
Fiona is rough.
@0: Anne is not blue.[(triple1)] Anne is young.[(triple2)] Erin is not big.[(triple3)] Fiona is quiet.[(triple4)] Harry is kind.[(triple5 OR ((((((triple6 ((triple7) -> rule1)) -> rule2)) -> rule3)) -> rule5))] Harry is quiet.[(triple6)] Harry is rough.[(triple7)] @1: Anne is smart.[(((triple2) -> rule3))] Harry is not blue.[(((triple7) -> rule1))] @2: Anne is kind.[(((((triple2) -> rule3)) -> rule5))] Harry is young.[(((triple6 ((triple7) -> rule1)) -> rule2))] @3: Harry is smart.[(((((triple6 ((triple7) -> rule1)) -> rule2)) -> rule3))]