Bob is not big. Bob is not blue. Bob is rough. Charlie is not quiet. Erin is quiet. Erin is red. Gary is big. If someone is blue then they are cold. If Charlie is blue and Charlie is white then Charlie is red. If someone is white then they are blue. If someone is quiet then they are white. Big people are quiet. All cold people are quiet. Cold people are red. If someone is rough and not cold then they are red.
Erin is not big.
@0: Bob is not big.[(triple1)] Bob is not blue.[(triple2)] Bob is rough.[(triple3)] Charlie is not quiet.[(triple4)] Erin is quiet.[(triple5)] Erin is red.[(triple6 OR ((((((((triple5) -> rule4)) -> rule3)) -> rule1)) -> rule7))] Gary is big.[(triple7)] @1: Erin is white.[(((triple5) -> rule4))] Gary is quiet.[(((triple7) -> rule5))] @2: Erin is blue.[(((((triple5) -> rule4)) -> rule3))] Gary is white.[(((((triple7) -> rule5)) -> rule4))] @3: Erin is cold.[(((((((triple5) -> rule4)) -> rule3)) -> rule1))] Gary is blue.[(((((((triple7) -> rule5)) -> rule4)) -> rule3))] @4: Gary is cold.[(((((((((triple7) -> rule5)) -> rule4)) -> rule3)) -> rule1))] @5: Gary is red.[(((((((((((triple7) -> rule5)) -> rule4)) -> rule3)) -> rule1)) -> rule7))]