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