Charlie is not nice. Charlie is not smart. Fiona is not blue. Fiona is quiet. Fiona is white. Gary is blue. Gary is furry. Gary is nice. Gary is not smart. Gary is not white. If something is big and quiet then it is furry. If something is quiet then it is white. All quiet, white things are smart.
Gary is not white.
@0: Charlie is not nice.[(triple1)] Charlie is not smart.[(triple2)] Fiona is not blue.[(triple3)] Fiona is quiet.[(triple4)] Fiona is white.[(triple5 OR ((triple4) -> rule2))] Gary is blue.[(triple6)] Gary is furry.[(triple7)] Gary is nice.[(triple8)] Gary is not smart.[(triple9)] Gary is not white.[(triple10)] @1: Fiona is smart.[(((triple4 triple5) -> rule3) OR ((triple4 ((triple4) -> rule2)) -> rule3))]