Charlie is blue. Erin is furry. Gary is quiet. Harry is nice. Young, furry people are white. If someone is blue then they are green. If someone is young and furry then they are nice. If Charlie is green and Charlie is white then Charlie is nice. If someone is nice and quiet then they are young. If someone is young then they are nice.
Charlie is not young.
@0: Charlie is blue.[(triple1)] Erin is furry.[(triple2)] Gary is quiet.[(triple3)] Harry is nice.[(triple4)] @1: Charlie is green.[(((triple1) -> rule2))]