Anne is furry. Anne is not red. Charlie is furry. Fiona is nice. Fiona is smart. Gary is red. Gary is not round. All quiet people are nice. Furry people are nice. If someone is quiet then they are nice. If someone is nice and smart then they are not round. All red people are smart. If Charlie is round and Charlie is nice then Charlie is not smart.
Gary is round.
@0: Anne is furry.[(triple1)] Anne is not red.[(triple2)] Charlie is furry.[(triple3)] Fiona is nice.[(triple4)] Fiona is smart.[(triple5)] Gary is not round.[(triple7)] Gary is red.[(triple6)] @1: Anne is nice.[(((triple1) -> rule2))] Charlie is nice.[(((triple3) -> rule2))] Fiona is not round.[(((triple4 triple5) -> rule4))] Gary is smart.[(((triple6) -> rule5))]