Bob is quiet. Bob is round. Dave is nice. Dave is quiet. Fiona is nice. Fiona is round. Gary is blue. Gary is cold. Gary is round. Gary is smart. If someone is smart then they are quiet. If Gary is quiet and Gary is round then Gary is nice.
Gary is not quiet.
@0: Bob is quiet.[(triple1)] Bob is round.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Fiona is nice.[(triple5)] Fiona is round.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] @1: Gary is quiet.[(((triple10) -> rule1))] @2: Gary is nice.[(((((triple10) -> rule1) triple9) -> rule2))]