Charlie is green. Charlie is red. Charlie is young. Erin is green. Erin is quiet. Erin is red. Erin is smart. Fiona is big. Fiona is green. Fiona is quiet. All red things are young.
Fiona is not young.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2)] Charlie is young.[(triple3 OR ((triple2) -> rule1))] Erin is green.[(triple4)] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Erin is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is green.[(triple9)] Fiona is quiet.[(triple10)] @1: Erin is young.[(((triple6) -> rule1))]