Anne is blue. Bob is round. Dave is furry. Erin is blue. If something is round and white then it is rough. Round, cold things are white. All rough things are furry. All white, blue things are round. If Anne is rough then Anne is cold. If something is round then it is white.
Bob is not round.
@0: Anne is blue.[(triple1)] Bob is round.[(triple2)] Dave is furry.[(triple3)] Erin is blue.[(triple4)] @1: Bob is white.[(((triple2) -> rule6))] @2: Bob is rough.[(((triple2 ((triple2) -> rule6)) -> rule1))] @3: Bob is furry.[(((((triple2 ((triple2) -> rule6)) -> rule1)) -> rule3))]