Bob is quiet. Dave is kind. Erin is blue. Harry is white. Furry, kind things are white. Nice, furry things are blue. If something is nice then it is blue. Quiet things are nice. Blue things are white. If Erin is quiet then Erin is green.
Bob is not quiet.
@0: Bob is quiet.[(triple1)] Dave is kind.[(triple2)] Erin is blue.[(triple3)] Harry is white.[(triple4)] @1: Bob is nice.[(((triple1) -> rule4))] Erin is white.[(((triple3) -> rule5))] @2: Bob is blue.[(((((triple1) -> rule4)) -> rule3))] @3: Bob is white.[(((((((triple1) -> rule4)) -> rule3)) -> rule5))]