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