Charlie is big. Charlie is round. Erin is green. Erin is not round. Fiona is not rough. Fiona is not young. Gary is young. Rough people are not kind. If someone is young and not big then they are white. If someone is white and not big then they are not green. If Fiona is green then Fiona is not white. If someone is big then they are round. If someone is white and not kind then they are not round.
Erin is big.
@0: Charlie is big.[(triple1)] Charlie is round.[(triple2 OR ((triple1) -> rule5))] Erin is green.[(triple3)] Erin is not round.[(triple4)] Fiona is not rough.[(triple5)] Fiona is not young.[(triple6)] Gary is young.[(triple7)]