Anne is cold. Anne is furry. Anne is red. Bob is red. Erin is furry. Erin is red. Erin is rough. If Anne is round and Anne is rough then Anne is nice. If someone is furry and rough then they are red. All round, furry people are cold. Smart, cold people are nice. All cold people are red. All round people are smart. If someone is furry then they are round. All nice, furry people are smart.
Erin is not smart.
@0: Anne is cold.[(triple1 OR ((((triple2) -> rule7) triple2) -> rule3))] Anne is furry.[(triple2)] Anne is red.[(triple3 OR ((triple1) -> rule5) OR ((((((triple2) -> rule7) triple2) -> rule3)) -> rule5))] Bob is red.[(triple4)] Erin is furry.[(triple5)] Erin is red.[(triple6 OR ((triple5 triple7) -> rule2) OR ((((((triple5) -> rule7) triple5) -> rule3)) -> rule5))] Erin is rough.[(triple7)] @1: Anne is round.[(((triple2) -> rule7))] Erin is round.[(((triple5) -> rule7))] @2: Anne is smart.[(((((triple2) -> rule7)) -> rule6))] Erin is cold.[(((((triple5) -> rule7) triple5) -> rule3))] Erin is smart.[(((((triple5) -> rule7)) -> rule6))] @3: Anne is nice.[(((((((triple2) -> rule7)) -> rule6) triple1) -> rule4) OR ((((((triple2) -> rule7)) -> rule6) ((((triple2) -> rule7) triple2) -> rule3)) -> rule4))] Erin is nice.[(((((((triple5) -> rule7)) -> rule6) ((((triple5) -> rule7) triple5) -> rule3)) -> rule4))]