Bob is nice. Charlie is kind. Erin is young. Fiona is nice. All young, green people are kind. If Fiona is big then Fiona is nice. All kind, rough people are young. Big, cold people are young. If Charlie is nice then Charlie is big. All young people are cold.
Charlie is kind.
@0: Bob is nice.[(triple1)] Charlie is kind.[(triple2)] Erin is young.[(triple3)] Fiona is nice.[(triple4)] @1: Erin is cold.[(((triple3) -> rule6))]