Anne is red. Charlie is blue. Fiona is big. Gary is red. Blue, big things are furry. If something is big and blue then it is green. All big things are blue. Blue, big things are kind. If something is kind and blue then it is red. All big, smart things are blue.
Anne is not blue.
@0: Anne is red.[(triple1)] Charlie is blue.[(triple2)] Fiona is big.[(triple3)] Gary is red.[(triple4)] @1: Fiona is blue.[(((triple3) -> rule3))] @2: Fiona is furry.[(((((triple3) -> rule3) triple3) -> rule1))] Fiona is green.[(((triple3 ((triple3) -> rule3)) -> rule2))] Fiona is kind.[(((((triple3) -> rule3) triple3) -> rule4))] @3: Fiona is red.[(((((((triple3) -> rule3) triple3) -> rule4) ((triple3) -> rule3)) -> rule5))]