Charlie is red. Erin is white. Erin is young. Gary is quiet. Gary is white. Harry is nice. Harry is quiet. If Erin is red then Erin is white. If Erin is quiet then Erin is nice. Kind, young things are nice. If Harry is kind then Harry is white. If Charlie is nice and Charlie is blue then Charlie is young. If something is young and white then it is kind. Nice things are quiet. All blue, white things are nice.
Erin is kind.
@0: Charlie is red.[(triple1)] Erin is white.[(triple2)] Erin is young.[(triple3)] Gary is quiet.[(triple4)] Gary is white.[(triple5)] Harry is nice.[(triple6)] Harry is quiet.[(triple7 OR ((triple6) -> rule7))] @1: Erin is kind.[(((triple3 triple2) -> rule6))] @2: Erin is nice.[(((((triple3 triple2) -> rule6) triple3) -> rule3))] @3: Erin is quiet.[(((((((triple3 triple2) -> rule6) triple3) -> rule3)) -> rule7))]