Bob is red. Erin is quiet. Erin is white. Gary is not furry. Gary is white. Harry is green. Harry is not white. If Erin is red then Erin is furry. If Erin is furry then Erin is rough. If Erin is quiet then Erin is red.
Harry is young.
@0: Bob is red.[(triple1)] Erin is quiet.[(triple2)] Erin is white.[(triple3)] Gary is not furry.[(triple4)] Gary is white.[(triple5)] Harry is green.[(triple6)] Harry is not white.[(triple7)] @1: Erin is red.[(((triple2) -> rule3))] @2: Erin is furry.[(((((triple2) -> rule3)) -> rule1))] @3: Erin is rough.[(((((((triple2) -> rule3)) -> rule1)) -> rule2))]