Bob is quiet. Erin is cold. Erin is furry. Erin is kind. Erin is rough. Harry is kind. Harry is young. Cold people are red. If Harry is kind then Harry is furry. Quiet, kind people are young.
Erin is not kind.
@0: Bob is quiet.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Erin is rough.[(triple5)] Harry is kind.[(triple6)] Harry is young.[(triple7)] @1: Erin is red.[(((triple2) -> rule1))] Harry is furry.[(((triple6) -> rule2))]