Dave is rough. Erin is green. Fiona is furry. Gary is red. If Gary is quiet and Gary is furry then Gary is rough. Green, rough things are red. Rough things are quiet. Green things are kind. All green things are quiet. If something is red then it is furry.
Erin is not green.
@0: Dave is rough.[(triple1)] Erin is green.[(triple2)] Fiona is furry.[(triple3)] Gary is red.[(triple4)] @1: Dave is quiet.[(((triple1) -> rule3))] Erin is kind.[(((triple2) -> rule4))] Erin is quiet.[(((triple2) -> rule5))] Gary is furry.[(((triple4) -> rule6))]