Charlie is blue. Charlie is furry. Charlie is white. Charlie is young. Erin is big. Erin is blue. Erin is green. Erin is white. Gary is green. Gary is red. If Erin is big and Erin is green then Erin is white. If someone is big and not red then they are green. If Erin is furry and Erin is red then Erin is big. If Charlie is blue then Charlie is furry. If someone is green then they are blue. If someone is green and young then they are not blue. Big, red people are young. If someone is green and not white then they are young.
Erin is blue.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple1) -> rule4))] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6 OR ((triple7) -> rule5))] Erin is green.[(triple7)] Erin is white.[(triple8 OR ((triple5 triple7) -> rule1))] Gary is green.[(triple9)] Gary is red.[(triple10)] @1: Gary is blue.[(((triple9) -> rule5))]