Bob is rough. Charlie is not big. Charlie is blue. Charlie is smart. Charlie is white. Erin is green. Gary is big. All green people are not white. If Erin is kind and Erin is green then Erin is big. If someone is blue then they are rough. If someone is blue and not green then they are not big. If Charlie is smart then Charlie is blue. Green people are smart. Big people are not smart. If someone is smart and not white then they are blue.
Gary is rough.
@0: Bob is rough.[(triple1)] Charlie is blue.[(triple3 OR ((triple4) -> rule5))] Charlie is not big.[(triple2)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Erin is green.[(triple6)] Gary is big.[(triple7)] @1: Charlie is rough.[(((triple3) -> rule3) OR ((((triple4) -> rule5)) -> rule3))] Erin is not white.[(((triple6) -> rule1))] Erin is smart.[(((triple6) -> rule6))] Gary is not smart.[(((triple7) -> rule7))] @2: Erin is blue.[(((((triple6) -> rule6) ((triple6) -> rule1)) -> rule8))] @3: Erin is rough.[(((((((triple6) -> rule6) ((triple6) -> rule1)) -> rule8)) -> rule3))]