Bob is blue. Bob is cold. Bob is quiet. Erin is cold. Erin is quiet. Fiona is blue. Fiona is furry. Fiona is young. Harry is furry. Harry is quiet. Furry, young people are round. All round, furry people are cold. All blue people are furry. All round people are blue. Round, furry people are green. If someone is cold then they are young. If someone is cold and young then they are blue. If someone is furry and quiet then they are young. All green people are young.
Erin is not blue.
@0: Bob is blue.[(triple1 OR ((triple2 ((triple2) -> rule6)) -> rule7))] Bob is cold.[(triple2 OR ((((((triple1) -> rule3) ((((triple1) -> rule3) triple3) -> rule8)) -> rule1) ((triple1) -> rule3)) -> rule2))] Bob is quiet.[(triple3)] Erin is cold.[(triple4)] Erin is quiet.[(triple5)] Fiona is blue.[(triple6 OR ((((triple7 triple8) -> rule1)) -> rule4) OR ((((((triple7 triple8) -> rule1) triple7) -> rule2) triple8) -> rule7))] Fiona is furry.[(triple7 OR ((triple6) -> rule3))] Fiona is young.[(triple8)] Harry is furry.[(triple9)] Harry is quiet.[(triple10)] @1: Bob is furry.[(((triple1) -> rule3) OR ((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule3))] Bob is young.[(((triple2) -> rule6) OR ((((triple1) -> rule3) triple3) -> rule8))] Erin is young.[(((triple4) -> rule6))] Fiona is round.[(((triple7 triple8) -> rule1) OR ((((triple6) -> rule3) triple8) -> rule1))] Harry is young.[(((triple9 triple10) -> rule8))] @2: Bob is round.[(((((triple1) -> rule3) ((triple2) -> rule6)) -> rule1) OR ((((triple1) -> rule3) ((((triple1) -> rule3) triple3) -> rule8)) -> rule1) OR ((((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule3) ((triple2) -> rule6)) -> rule1) OR ((((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule3) ((((triple1) -> rule3) triple3) -> rule8)) -> rule1))] Erin is blue.[(((triple4 ((triple4) -> rule6)) -> rule7))] Fiona is cold.[(((((triple7 triple8) -> rule1) triple7) -> rule2) OR ((((triple7 triple8) -> rule1) ((triple6) -> rule3)) -> rule2) OR ((((((triple6) -> rule3) triple8) -> rule1) triple7) -> rule2) OR ((((((triple6) -> rule3) triple8) -> rule1) ((triple6) -> rule3)) -> rule2))] Fiona is green.[(((((triple7 triple8) -> rule1) triple7) -> rule5) OR ((((triple7 triple8) -> rule1) ((triple6) -> rule3)) -> rule5) OR ((((((triple6) -> rule3) triple8) -> rule1) triple7) -> rule5) OR ((((((triple6) -> rule3) triple8) -> rule1) ((triple6) -> rule3)) -> rule5))] Harry is round.[(((triple9 ((triple9 triple10) -> rule8)) -> rule1))] @3: Bob is green.[(((((((triple1) -> rule3) ((triple2) -> rule6)) -> rule1) ((triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule3) ((((triple1) -> rule3) triple3) -> rule8)) -> rule1) ((triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule3) ((triple2) -> rule6)) -> rule1) ((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule3)) -> rule5) OR ((((((triple1) -> rule3) ((((triple1) -> rule3) triple3) -> rule8)) -> rule1) ((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule3) ((triple2) -> rule6)) -> rule1) ((triple1) -> rule3)) -> rule5) OR ((((((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule3) ((((triple1) -> rule3) triple3) -> rule8)) -> rule1) ((triple1) -> rule3)) -> rule5) OR ((((((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule3) ((triple2) -> rule6)) -> rule1) ((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule3) ((((triple1) -> rule3) triple3) -> rule8)) -> rule1) ((((triple2 ((triple2) -> rule6)) -> rule7)) -> rule3)) -> rule5))] Erin is furry.[(((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule3))] Harry is blue.[(((((triple9 ((triple9 triple10) -> rule8)) -> rule1)) -> rule4) OR ((((((triple9 ((triple9 triple10) -> rule8)) -> rule1) triple9) -> rule2) ((triple9 triple10) -> rule8)) -> rule7))] Harry is cold.[(((((triple9 ((triple9 triple10) -> rule8)) -> rule1) triple9) -> rule2))] Harry is green.[(((((triple9 ((triple9 triple10) -> rule8)) -> rule1) triple9) -> rule5))] @4: Erin is round.[(((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule3) ((triple4) -> rule6)) -> rule1))] @5: Erin is green.[(((((((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule3) ((triple4) -> rule6)) -> rule1) ((((triple4 ((triple4) -> rule6)) -> rule7)) -> rule3)) -> rule5))]