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