Charlie is kind. Erin is blue. Gary is kind. Harry is young. All blue things are young. Kind, white things are young. All round things are kind. All blue things are round. All young, kind things are round. Young things are blue.
Harry is not kind.
@0: Charlie is kind.[(triple1)] Erin is blue.[(triple2)] Gary is kind.[(triple3)] Harry is young.[(triple4)] @1: Erin is round.[(((triple2) -> rule4))] Erin is young.[(((triple2) -> rule1))] Harry is blue.[(((triple4) -> rule6))] @2: Erin is kind.[(((((triple2) -> rule4)) -> rule3))] Harry is round.[(((((triple4) -> rule6)) -> rule4))] @3: Harry is kind.[(((((((triple4) -> rule6)) -> rule4)) -> rule3))]