Bob is quiet. Charlie is quiet. Erin is furry. Erin is young. Gary is big. Gary is not furry. Gary is not kind. All furry people are blue. All quiet people are blue. Blue people are furry. All furry people are kind. If Bob is blue and Bob is not kind then Bob is young. Furry people are big. Quiet, young people are not big. If someone is big and not furry then they are white.
Charlie is not white.
@0: Bob is quiet.[(triple1)] Charlie is quiet.[(triple2)] Erin is furry.[(triple3)] Erin is young.[(triple4)] Gary is big.[(triple5)] Gary is not furry.[(triple6)] Gary is not kind.[(triple7)] @1: Bob is blue.[(((triple1) -> rule2))] Charlie is blue.[(((triple2) -> rule2))] Erin is big.[(((triple3) -> rule6))] Erin is blue.[(((triple3) -> rule1))] Erin is kind.[(((triple3) -> rule4))] Gary is white.[(((triple5 triple6) -> rule8))] @2: Bob is furry.[(((((triple1) -> rule2)) -> rule3))] Charlie is furry.[(((((triple2) -> rule2)) -> rule3))] @3: Bob is big.[(((((((triple1) -> rule2)) -> rule3)) -> rule6))] Bob is kind.[(((((((triple1) -> rule2)) -> rule3)) -> rule4))] Charlie is big.[(((((((triple2) -> rule2)) -> rule3)) -> rule6))] Charlie is kind.[(((((((triple2) -> rule2)) -> rule3)) -> rule4))]