Bob is not quiet. Charlie is not young. Erin is furry. Red, young things are white. If Bob is not quiet then Bob is white. All young things are red. Furry things are young. If Erin is furry then Erin is quiet. All rough things are not cold. If something is young and red then it is cold. If something is furry and not quiet then it is not rough.
Erin is not young.
@0: Bob is not quiet.[(triple1)] Charlie is not young.[(triple2)] Erin is furry.[(triple3)] @1: Bob is white.[(((triple1) -> rule2))] Erin is quiet.[(((triple3) -> rule5))] Erin is young.[(((triple3) -> rule4))] @2: Erin is red.[(((((triple3) -> rule4)) -> rule3))] @3: Erin is cold.[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule7))] Erin is white.[(((((((triple3) -> rule4)) -> rule3) ((triple3) -> rule4)) -> rule1))]