Anne is round. Charlie is round. Fiona is white. Harry is red. All big, smart people are furry. Round, furry people are white. White people are blue. Round, red people are smart. If someone is red and round then they are big. All red people are white. If someone is round then they are blue. Red, big people are white.
Anne is not white.
@0: Anne is round.[(triple1)] Charlie is round.[(triple2)] Fiona is white.[(triple3)] Harry is red.[(triple4)] @1: Anne is blue.[(((triple1) -> rule7))] Charlie is blue.[(((triple2) -> rule7))] Fiona is blue.[(((triple3) -> rule3))] Harry is white.[(((triple4) -> rule6))] @2: Harry is blue.[(((((triple4) -> rule6)) -> rule3))]