Anne is smart. Bob is nice. Dave is white. Harry is white. Red, furry things are nice. All red, furry things are white. If something is red and nice then it is furry. All nice things are red. Rough things are nice. If something is white then it is nice.
Anne is white.
@0: Anne is smart.[(triple1)] Bob is nice.[(triple2)] Dave is white.[(triple3)] Harry is white.[(triple4)] @1: Bob is red.[(((triple2) -> rule4))] Dave is nice.[(((triple3) -> rule6))] Harry is nice.[(((triple4) -> rule6))] @2: Bob is furry.[(((((triple2) -> rule4) triple2) -> rule3))] Dave is red.[(((((triple3) -> rule6)) -> rule4))] Harry is red.[(((((triple4) -> rule6)) -> rule4))] @3: Bob is white.[(((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule3)) -> rule2))] Dave is furry.[(((((((triple3) -> rule6)) -> rule4) ((triple3) -> rule6)) -> rule3))] Harry is furry.[(((((((triple4) -> rule6)) -> rule4) ((triple4) -> rule6)) -> rule3))]