Anne is big. Anne is furry. Anne is nice. Anne is not quiet. Anne is smart. Anne is young. Fiona is quiet. Fiona is smart. Fiona is young. Gary is furry. Gary is nice. Gary is not smart. Gary is young. Harry is big. Harry is not furry. All smart people are nice.
Fiona is quiet.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3 OR ((triple5) -> rule1))] Anne is not quiet.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6)] Fiona is quiet.[(triple7)] Fiona is smart.[(triple8)] Fiona is young.[(triple9)] Gary is furry.[(triple10)] Gary is nice.[(triple11)] Gary is not smart.[(triple12)] Gary is young.[(triple13)] Harry is big.[(triple14)] Harry is not furry.[(triple15)] @1: Fiona is nice.[(((triple8) -> rule1))]