Bob is cold. Charlie is blue. Dave is rough. Erin is round. If someone is red then they are blue. If Bob is furry and Bob is round then Bob is blue. If someone is cold then they are blue. Smart people are cold. If Dave is blue and Dave is cold then Dave is furry. Blue people are round. If Bob is round then Bob is smart. If someone is red then they are smart.
Dave is not rough.
@0: Bob is cold.[(triple1)] Charlie is blue.[(triple2)] Dave is rough.[(triple3)] Erin is round.[(triple4)] @1: Bob is blue.[(((triple1) -> rule3))] Charlie is round.[(((triple2) -> rule6))] @2: Bob is round.[(((((triple1) -> rule3)) -> rule6))] @3: Bob is smart.[(((((((triple1) -> rule3)) -> rule6)) -> rule7))]