Anne is big. Anne is quiet. Anne is smart. Gary is big. Gary is smart. Harry is big. Harry is furry. Harry is quiet. Harry is rough. Harry is young. All young, rough things are quiet. All young, big things are white.
Harry is not big.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Gary is big.[(triple4)] Gary is smart.[(triple5)] Harry is big.[(triple6)] Harry is furry.[(triple7)] Harry is quiet.[(triple8 OR ((triple10 triple9) -> rule1))] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Harry is white.[(((triple10 triple6) -> rule2))]