Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is not white. Fiona is young. Gary is furry. Gary is not nice. Gary is quiet. Gary is not round. Gary is not smart. Gary is not white. Young things are not round. If something is smart and not young then it is not round. If something is young then it is quiet.
Gary is nice.
@0: Fiona is furry.[(triple1)] Fiona is nice.[(triple2)] Fiona is not white.[(triple5)] Fiona is quiet.[(triple3 OR ((triple6) -> rule3))] Fiona is smart.[(triple4)] Fiona is young.[(triple6)] Gary is furry.[(triple7)] Gary is not nice.[(triple8)] Gary is not round.[(triple10)] Gary is not smart.[(triple11)] Gary is not white.[(triple12)] Gary is quiet.[(triple9)] @1: Fiona is not round.[(((triple6) -> rule1))]