Anne is nice. Erin is not smart. Fiona is big. Gary is white. All big things are quiet. If something is nice and not big then it is quiet. All quiet things are white. Quiet, green things are furry. If Anne is big then Anne is nice. If something is big and quiet then it is green.
Erin is not nice.
@0: Anne is nice.[(triple1)] Erin is not smart.[(triple2)] Fiona is big.[(triple3)] Gary is white.[(triple4)] @1: Fiona is quiet.[(((triple3) -> rule1))] @2: Fiona is green.[(((triple3 ((triple3) -> rule1)) -> rule6))] Fiona is white.[(((((triple3) -> rule1)) -> rule3))] @3: Fiona is furry.[(((((triple3) -> rule1) ((triple3 ((triple3) -> rule1)) -> rule6)) -> rule4))]