Anne is furry. Charlie is furry. Gary is nice. If Anne is nice then Anne is furry. If someone is quiet then they are smart. Furry people are smart. If Gary is green then Gary is smart. All nice, green people are smart. If someone is blue and nice then they are green. If someone is quiet then they are furry. If Charlie is green and Charlie is furry then Charlie is nice.
Anne is furry.
@0: Anne is furry.[(triple1)] Charlie is furry.[(triple2)] Gary is nice.[(triple3)] @1: Anne is smart.[(((triple1) -> rule3))] Charlie is smart.[(((triple2) -> rule3))]