Anne is big. Anne is quiet. Anne is smart. Fiona is big. Fiona is furry. Fiona is not green. Harry is green. Harry is quiet. Harry is rough. Harry is smart. If something is rough then it is smart. Furry, rough things are big. All quiet things are green.
Fiona is furry.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple5)] Fiona is not green.[(triple6)] Harry is green.[(triple7 OR ((triple8) -> rule3))] Harry is quiet.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10 OR ((triple9) -> rule1))] @1: Anne is green.[(((triple2) -> rule3))]