Fiona is big. Fiona is rough. Gary is big. Gary is not furry. Gary is green. Gary is quiet. Gary is rough. All green people are white. If someone is round and not rough then they are white. If someone is white then they are round.
Gary is not round.
@0: Fiona is big.[(triple1)] Fiona is rough.[(triple2)] Gary is big.[(triple3)] Gary is green.[(triple5)] Gary is not furry.[(triple4)] Gary is quiet.[(triple6)] Gary is rough.[(triple7)] @1: Gary is white.[(((triple5) -> rule1))] @2: Gary is round.[(((((triple5) -> rule1)) -> rule3))]