Erin is blue. Erin is not green. Erin is quiet. Erin is round. Fiona is not green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is young. Gary is blue. Gary is green. Gary is nice. Gary is not quiet. Gary is round. Gary is young. If Fiona is nice and Fiona is green then Fiona is young. All green, round things are red.
Fiona is not red.
@0: Erin is blue.[(triple1)] Erin is not green.[(triple2)] Erin is quiet.[(triple3)] Erin is round.[(triple4)] Fiona is nice.[(triple6)] Fiona is not green.[(triple5)] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Fiona is young.[(triple9)] Gary is blue.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12)] Gary is not quiet.[(triple13)] Gary is round.[(triple14)] Gary is young.[(triple15)] @1: Gary is red.[(((triple11 triple14) -> rule2))]