Charlie is furry. Charlie is green. Charlie is rough. Charlie is young. Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is not quiet. Fiona is rough. Fiona is young. Gary is furry. Gary is green. Gary is quiet. Gary is rough. Gary is young. If Fiona is blue then Fiona is furry. If Fiona is big then Fiona is green.
Gary is not big.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is rough.[(triple3)] Charlie is young.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7 OR ((triple6) -> rule1))] Fiona is green.[(triple8 OR ((triple5) -> rule2))] Fiona is not quiet.[(triple9)] Fiona is rough.[(triple10)] Fiona is young.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is quiet.[(triple14)] Gary is rough.[(triple15)] Gary is young.[(triple16)]