Anne is big. Anne is green. Anne is not nice. Anne is rough. Anne is young. Charlie is blue. Charlie is nice. Charlie is not quiet. Charlie is rough. Charlie is young. Fiona is big. Fiona is nice. Fiona is not quiet. Fiona is rough. Fiona is not young. If someone is young then they are blue. Quiet people are not big. Quiet people are rough. If someone is blue then they are young. If someone is quiet and not young then they are green. If Fiona is green then Fiona is big.
Fiona is big.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is not nice.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Charlie is blue.[(triple6 OR ((triple10) -> rule1))] Charlie is nice.[(triple7)] Charlie is not quiet.[(triple8)] Charlie is rough.[(triple9)] Charlie is young.[(triple10 OR ((triple6) -> rule4))] Fiona is big.[(triple11)] Fiona is nice.[(triple12)] Fiona is not quiet.[(triple13)] Fiona is not young.[(triple15)] Fiona is rough.[(triple14)] @1: Anne is blue.[(((triple5) -> rule1))]