Erin is furry. Erin is kind. Erin is rough. Erin is white. Fiona is white. Gary is kind. Gary is not nice. Gary is quiet. Gary is rough. Harry is blue. Harry is furry. Harry is kind. If someone is furry then they are quiet. If someone is blue then they are kind. Blue, furry people are kind. White, blue people are not nice. Kind, nice people are rough. If someone is nice and white then they are rough. If Gary is nice then Gary is white. If Gary is white then Gary is rough.
Erin is not quiet.
@0: Erin is furry.[(triple1)] Erin is kind.[(triple2)] Erin is rough.[(triple3)] Erin is white.[(triple4)] Fiona is white.[(triple5)] Gary is kind.[(triple6)] Gary is not nice.[(triple7)] Gary is quiet.[(triple8)] Gary is rough.[(triple9)] Harry is blue.[(triple10)] Harry is furry.[(triple11)] Harry is kind.[(triple12 OR ((triple10) -> rule2) OR ((triple10 triple11) -> rule3))] @1: Erin is quiet.[(((triple1) -> rule1))] Harry is quiet.[(((triple11) -> rule1))]