Charlie is kind. Erin is smart. Gary is blue. Harry is quiet. If Gary is kind then Gary is round. If someone is green then they are round. If Charlie is round then Charlie is green. If someone is smart and round then they are blue. If someone is smart and green then they are round. All smart people are green.
Charlie is not blue.
@0: Charlie is kind.[(triple1)] Erin is smart.[(triple2)] Gary is blue.[(triple3)] Harry is quiet.[(triple4)] @1: Erin is green.[(((triple2) -> rule6))] @2: Erin is round.[(((((triple2) -> rule6)) -> rule2) OR ((triple2 ((triple2) -> rule6)) -> rule5))] @3: Erin is blue.[(((triple2 ((((triple2) -> rule6)) -> rule2)) -> rule4) OR ((triple2 ((triple2 ((triple2) -> rule6)) -> rule5)) -> rule4))]