Charlie is rough. Charlie is not round. Charlie is white. Charlie is not young. Erin is red. Erin is round. Fiona is cold. If Charlie is not cold then Charlie is green. Cold people are red. If someone is cold and not green then they are round. If someone is young then they are not round. If someone is cold and red then they are white. If someone is cold and not round then they are white. If someone is young and not cold then they are rough. If someone is white then they are rough.
Fiona is not red.
@0: Charlie is not round.[(triple2)] Charlie is not young.[(triple4)] Charlie is rough.[(triple1 OR ((triple3) -> rule8))] Charlie is white.[(triple3)] Erin is red.[(triple5)] Erin is round.[(triple6)] Fiona is cold.[(triple7)] @1: Fiona is red.[(((triple7) -> rule2))] @2: Fiona is white.[(((triple7 ((triple7) -> rule2)) -> rule5))] @3: Fiona is rough.[(((((triple7 ((triple7) -> rule2)) -> rule5)) -> rule8))]