Anne is rough. Anne is white. Charlie is quiet. Fiona is smart. Fiona is white. Gary is big. Gary is cold. Gary is rough. Gary is smart. Gary is white. If Anne is quiet and Anne is white then Anne is smart. Smart people are nice. If someone is rough then they are quiet.
Anne is not nice.
@0: Anne is rough.[(triple1)] Anne is white.[(triple2)] Charlie is quiet.[(triple3)] Fiona is smart.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is rough.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Anne is quiet.[(((triple1) -> rule3))] Fiona is nice.[(((triple4) -> rule2))] Gary is nice.[(((triple9) -> rule2))] Gary is quiet.[(((triple8) -> rule3))] @2: Anne is smart.[(((((triple1) -> rule3) triple2) -> rule1))] @3: Anne is nice.[(((((((triple1) -> rule3) triple2) -> rule1)) -> rule2))]