Charlie is big. Charlie is furry. Charlie is red. Erin is kind. Erin is rough. Fiona is big. Fiona is young. If Erin is furry and Erin is kind then Erin is big. All big, young people are rough. All big, red people are rough. Big people are furry. If someone is young then they are red. Big, kind people are white.
Charlie is not white.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2 OR ((triple1) -> rule4))] Charlie is red.[(triple3)] Erin is kind.[(triple4)] Erin is rough.[(triple5)] Fiona is big.[(triple6)] Fiona is young.[(triple7)] @1: Charlie is rough.[(((triple1 triple3) -> rule3))] Fiona is furry.[(((triple6) -> rule4))] Fiona is red.[(((triple7) -> rule5))] Fiona is rough.[(((triple6 triple7) -> rule2) OR ((triple6 ((triple7) -> rule5)) -> rule3))]