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