Erin is blue. Erin is furry. Erin is kind. Erin is quiet. Erin is not red. Erin is smart. Erin is white. Gary is blue. Gary is not kind. Gary is not quiet. Gary is not red. Gary is smart. Gary is white. Harry is kind. Harry is quiet. Harry is smart. All furry people are kind. If someone is furry and white then they are kind.
Harry is not kind.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3 OR ((triple2) -> rule1) OR ((triple2 triple7) -> rule2))] Erin is not red.[(triple5)] Erin is quiet.[(triple4)] Erin is smart.[(triple6)] Erin is white.[(triple7)] Gary is blue.[(triple8)] Gary is not kind.[(triple9)] Gary is not quiet.[(triple10)] Gary is not red.[(triple11)] Gary is smart.[(triple12)] Gary is white.[(triple13)] Harry is kind.[(triple14)] Harry is quiet.[(triple15)] Harry is smart.[(triple16)]