Anne is blue. Anne is furry. Anne is quiet. Anne is red. Anne is smart. Bob is quiet. Bob is round. Erin is red. Erin is round. Fiona is furry. All red, furry people are smart. If someone is white then they are smart. Red people are furry. If Fiona is red and Fiona is quiet then Fiona is white. Furry, blue people are red. If someone is white and furry then they are blue.
Bob is white.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule3))] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple2 triple1) -> rule5))] Anne is smart.[(triple5 OR ((triple4 triple2) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule1) OR ((((triple2 triple1) -> rule5) triple2) -> rule1) OR ((((triple2 triple1) -> rule5) ((triple4) -> rule3)) -> rule1))] Bob is quiet.[(triple6)] Bob is round.[(triple7)] Erin is red.[(triple8)] Erin is round.[(triple9)] Fiona is furry.[(triple10)] @1: Erin is furry.[(((triple8) -> rule3))] @2: Erin is smart.[(((triple8 ((triple8) -> rule3)) -> rule1))]