Bob is blue. Dave is kind. Erin is rough. Harry is white. If Bob is green then Bob is white. If someone is rough then they are green. If someone is green and kind then they are furry. If Harry is kind then Harry is smart. If Dave is kind then Dave is rough. If Erin is blue then Erin is rough.
Harry is green.
@0: Bob is blue.[(triple1)] Dave is kind.[(triple2)] Erin is rough.[(triple3)] Harry is white.[(triple4)] @1: Dave is rough.[(((triple2) -> rule5))] Erin is green.[(((triple3) -> rule2))] @2: Dave is green.[(((((triple2) -> rule5)) -> rule2))] @3: Dave is furry.[(((((((triple2) -> rule5)) -> rule2) triple2) -> rule3))]