Anne is big. Anne is red. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. Gary is big. Gary is kind. Gary is red. Gary is rough. Gary is smart. Gary is white. Harry is big. Harry is red. If someone is nice and big then they are rough. If Harry is red then Harry is nice.
Anne is not rough.
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Fiona is smart.[(triple7)] Fiona is white.[(triple8)] Gary is big.[(triple9)] Gary is kind.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] Gary is smart.[(triple13)] Gary is white.[(triple14)] Harry is big.[(triple15)] Harry is red.[(triple16)] @1: Harry is nice.[(((triple16) -> rule2))] @2: Harry is rough.[(((((triple16) -> rule2) triple15) -> rule1))]