Anne is furry. Anne is quiet. Anne is smart. Dave is furry. Erin is smart. Erin is white. Gary is blue. Gary is cold. Gary is furry. Gary is quiet. If someone is quiet then they are smart. Furry people are smart. All smart, furry people are cold. All round people are quiet. White, smart people are quiet. All quiet people are furry.
Anne is blue.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule6))] Anne is quiet.[(triple2)] Anne is smart.[(triple3 OR ((triple1) -> rule2) OR ((triple2) -> rule1) OR ((((triple2) -> rule6)) -> rule2))] Dave is furry.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8 OR ((((triple10) -> rule1) triple9) -> rule3) OR ((((triple9) -> rule2) triple9) -> rule3) OR ((((triple10) -> rule1) ((triple10) -> rule6)) -> rule3) OR ((((triple9) -> rule2) ((triple10) -> rule6)) -> rule3) OR ((((((triple10) -> rule6)) -> rule2) triple9) -> rule3) OR ((((((triple10) -> rule6)) -> rule2) ((triple10) -> rule6)) -> rule3))] Gary is furry.[(triple9 OR ((triple10) -> rule6))] Gary is quiet.[(triple10)] @1: Anne is cold.[(((triple3 triple1) -> rule3) OR ((triple3 ((triple2) -> rule6)) -> rule3) OR ((((triple1) -> rule2) triple1) -> rule3) OR ((((triple2) -> rule1) triple1) -> rule3) OR ((((triple1) -> rule2) ((triple2) -> rule6)) -> rule3) OR ((((triple2) -> rule1) ((triple2) -> rule6)) -> rule3) OR ((((((triple2) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple2) -> rule6)) -> rule2) ((triple2) -> rule6)) -> rule3))] Dave is smart.[(((triple4) -> rule2))] Erin is quiet.[(((triple6 triple5) -> rule5))] Gary is smart.[(((triple10) -> rule1) OR ((triple9) -> rule2) OR ((((triple10) -> rule6)) -> rule2))] @2: Dave is cold.[(((((triple4) -> rule2) triple4) -> rule3))] Erin is furry.[(((((triple6 triple5) -> rule5)) -> rule6))] @3: Erin is cold.[(((triple5 ((((triple6 triple5) -> rule5)) -> rule6)) -> rule3))]