Bob is green. Bob is nice. Bob is quiet. Erin is furry. Gary is rough. Harry is nice. Harry is not rough. If Bob is quiet then Bob is rough. All smart, rough people are not cold.
Harry is not green.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Erin is furry.[(triple4)] Gary is rough.[(triple5)] Harry is nice.[(triple6)] Harry is not rough.[(triple7)] @1: Bob is rough.[(((triple3) -> rule1))]