Charlie is red. Erin is big. Erin is furry. Erin is green. Erin is round. Gary is big. Gary is green. Round, red people are blue. If Erin is quiet then Erin is round. Red people are round. All blue people are green. Blue, quiet people are furry. If someone is blue and green then they are furry.
Charlie is not blue.
@0: Charlie is red.[(triple1)] Erin is big.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is round.[(triple5)] Gary is big.[(triple6)] Gary is green.[(triple7)] @1: Charlie is round.[(((triple1) -> rule3))] @2: Charlie is blue.[(((((triple1) -> rule3) triple1) -> rule1))] @3: Charlie is green.[(((((((triple1) -> rule3) triple1) -> rule1)) -> rule4))] @4: Charlie is furry.[(((((((triple1) -> rule3) triple1) -> rule1) ((((((triple1) -> rule3) triple1) -> rule1)) -> rule4)) -> rule6))]