Anne is red. Charlie is not green. Charlie is young. Fiona is big. Fiona is young. Gary is not red. Gary is smart. White things are smart. If something is green then it is smart. If something is red and big then it is quiet. If something is green and not young then it is quiet. Young, big things are white. If something is green and not big then it is white. If Fiona is big and Fiona is red then Fiona is green. If Anne is smart then Anne is not quiet.
Fiona is green.
@0: Anne is red.[(triple1)] Charlie is not green.[(triple2)] Charlie is young.[(triple3)] Fiona is big.[(triple4)] Fiona is young.[(triple5)] Gary is not red.[(triple6)] Gary is smart.[(triple7)] @1: Fiona is white.[(((triple5 triple4) -> rule5))] @2: Fiona is smart.[(((((triple5 triple4) -> rule5)) -> rule1))]