Charlie is kind. Charlie is quiet. Charlie is red. Erin is kind. Erin is quiet. Fiona is furry. Gary is red. If Fiona is quiet then Fiona is cold. If someone is kind then they are furry. If someone is rough and not cold then they are not young. All red, cold people are kind. If someone is quiet and not cold then they are kind. Young, cold people are not red.
Gary is red.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Erin is kind.[(triple4)] Erin is quiet.[(triple5)] Fiona is furry.[(triple6)] Gary is red.[(triple7)] @1: Charlie is furry.[(((triple1) -> rule2))] Erin is furry.[(((triple4) -> rule2))]