Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is young. Erin is big. Erin is blue. Erin is furry. Erin is nice. Erin is red. Erin is young. Gary is furry. If Erin is young and Erin is big then Erin is blue. All nice people are red. If Charlie is furry and Charlie is big then Charlie is blue.
Gary is big.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is young.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7 OR ((triple11 triple6) -> rule1))] Erin is furry.[(triple8)] Erin is nice.[(triple9)] Erin is red.[(triple10 OR ((triple9) -> rule2))] Erin is young.[(triple11)] Gary is furry.[(triple12)] @1: Charlie is red.[(((triple4) -> rule2))]