Charlie is green. Erin is big. Erin is cold. Erin is furry. Erin is quiet. Erin is smart. Erin is white. If someone is white and quiet then they are big. If Erin is green then Erin is big. If someone is white and smart then they are green.
Charlie is white.
@0: Charlie is green.[(triple1)] Erin is big.[(triple2 OR ((triple7 triple5) -> rule1) OR ((((triple7 triple6) -> rule3)) -> rule2))] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is quiet.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] @1: Erin is green.[(((triple7 triple6) -> rule3))]