Bob is big. Bob is white. Charlie is red. Charlie is rough. Charlie is white. Charlie is young. Erin is green. Erin is rough. Erin is white. Gary is young. All rough people are red.
Bob is not red.
@0: Bob is big.[(triple1)] Bob is white.[(triple2)] Charlie is red.[(triple3 OR ((triple4) -> rule1))] Charlie is rough.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Erin is green.[(triple7)] Erin is rough.[(triple8)] Erin is white.[(triple9)] Gary is young.[(triple10)] @1: Erin is red.[(((triple8) -> rule1))]