Anne is furry. Bob is big. Erin is big. Gary is big. All furry, red people are quiet. If Bob is rough and Bob is white then Bob is big. Red people are furry. If Erin is rough and Erin is big then Erin is quiet. If someone is furry then they are red. All quiet people are big.
Anne is not big.
@0: Anne is furry.[(triple1)] Bob is big.[(triple2)] Erin is big.[(triple3)] Gary is big.[(triple4)] @1: Anne is red.[(((triple1) -> rule5))] @2: Anne is quiet.[(((triple1 ((triple1) -> rule5)) -> rule1))] @3: Anne is big.[(((((triple1 ((triple1) -> rule5)) -> rule1)) -> rule6))]