Anne is white. Charlie is smart. Dave is white. Gary is quiet. All big things are young. All quiet things are furry. Quiet things are big. If Charlie is big then Charlie is smart. If something is young and quiet then it is big. All furry, smart things are quiet. Big, quiet things are white. If Anne is big then Anne is smart.
Anne is blue.
@0: Anne is white.[(triple1)] Charlie is smart.[(triple2)] Dave is white.[(triple3)] Gary is quiet.[(triple4)] @1: Gary is big.[(((triple4) -> rule3))] Gary is furry.[(((triple4) -> rule2))] @2: Gary is white.[(((((triple4) -> rule3) triple4) -> rule7))] Gary is young.[(((((triple4) -> rule3)) -> rule1))]