Charlie is quiet. Dave is furry. Erin is rough. Harry is rough. All white things are nice. Rough, green things are quiet. Quiet things are blue. If something is blue and green then it is nice. If something is nice then it is rough. If Dave is nice then Dave is furry. All blue, quiet things are white. If something is green then it is rough.
Charlie is not blue.
@0: Charlie is quiet.[(triple1)] Dave is furry.[(triple2)] Erin is rough.[(triple3)] Harry is rough.[(triple4)] @1: Charlie is blue.[(((triple1) -> rule3))] @2: Charlie is white.[(((((triple1) -> rule3) triple1) -> rule7))] @3: Charlie is nice.[(((((((triple1) -> rule3) triple1) -> rule7)) -> rule1))] @4: Charlie is rough.[(((((((((triple1) -> rule3) triple1) -> rule7)) -> rule1)) -> rule5))]