Anne is quiet. Anne is rough. Anne is smart. Fiona is blue. Fiona is rough. Harry is quiet. Harry is young. If Fiona is young then Fiona is smart. If someone is blue then they are quiet. Big people are young. If Anne is smart then Anne is blue. If Harry is smart then Harry is blue. If Anne is nice then Anne is smart. If someone is rough then they are quiet. Blue people are smart.
Harry is nice.
@0: Anne is quiet.[(triple1 OR ((triple2) -> rule7) OR ((((triple3) -> rule4)) -> rule2))] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Fiona is blue.[(triple4)] Fiona is rough.[(triple5)] Harry is quiet.[(triple6)] Harry is young.[(triple7)] @1: Anne is blue.[(((triple3) -> rule4))] Fiona is quiet.[(((triple4) -> rule2) OR ((triple5) -> rule7))] Fiona is smart.[(((triple4) -> rule8))]