Anne is smart. Bob is furry. Fiona is blue. If Anne is blue then Anne is not furry. If Fiona is furry then Fiona is blue. If someone is green then they are not round. All big, smart people are not round. All smart people are big. If someone is furry then they are blue.
Fiona is blue.
@0: Anne is smart.[(triple1)] Bob is furry.[(triple2)] Fiona is blue.[(triple3)] @1: Anne is big.[(((triple1) -> rule5))] Bob is blue.[(((triple2) -> rule6))] @2: Anne is not round.[(((((triple1) -> rule5) triple1) -> rule4))]