Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is smart. Erin is furry. Erin is green. Erin is nice. Erin is smart. Gary is green. Gary is nice. Gary is quiet. Gary is smart. If Gary is smart then Gary is nice. All blue, smart people are green. Quiet, blue people are nice.
Erin is kind.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3)] Charlie is smart.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7)] Erin is smart.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10 OR ((triple12) -> rule1))] Gary is quiet.[(triple11)] Gary is smart.[(triple12)] @1: Charlie is green.[(((triple1 triple4) -> rule2))] Charlie is nice.[(((triple3 triple1) -> rule3))]