Charlie is furry. Charlie is rough. Charlie is young. Erin is furry. Erin is red. Fiona is big. Fiona is young. Gary is furry. Gary is red. Gary is white. White, rough people are red. All furry people are big. If Erin is red then Erin is furry. If Charlie is blue then Charlie is white. All big people are blue. If Erin is rough and Erin is red then Erin is young.
Gary is not rough.
@0: Charlie is furry.[(triple1)] Charlie is rough.[(triple2)] Charlie is young.[(triple3)] Erin is furry.[(triple4 OR ((triple5) -> rule3))] Erin is red.[(triple5)] Fiona is big.[(triple6)] Fiona is young.[(triple7)] Gary is furry.[(triple8)] Gary is red.[(triple9)] Gary is white.[(triple10)] @1: Charlie is big.[(((triple1) -> rule2))] Erin is big.[(((triple4) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] Fiona is blue.[(((triple6) -> rule5))] Gary is big.[(((triple8) -> rule2))] @2: Charlie is blue.[(((((triple1) -> rule2)) -> rule5))] Erin is blue.[(((((triple4) -> rule2)) -> rule5) OR ((((((triple5) -> rule3)) -> rule2)) -> rule5))] Gary is blue.[(((((triple8) -> rule2)) -> rule5))] @3: Charlie is white.[(((((((triple1) -> rule2)) -> rule5)) -> rule4))] @4: Charlie is red.[(((((((((triple1) -> rule2)) -> rule5)) -> rule4) triple2) -> rule1))]