Bob is green. Bob is red. Bob is round. Charlie is cold. Charlie is green. Charlie is kind. Erin is cold. Erin is furry. Erin is kind. Fiona is green. If someone is green then they are kind. All green, kind people are round. If Fiona is furry and Fiona is big then Fiona is green. If Erin is furry and Erin is red then Erin is kind. All round, furry people are kind. Green, round people are big. If someone is big and cold then they are furry. If someone is red then they are cold. Round, kind people are red.
Erin is not round.
@0: Bob is green.[(triple1)] Bob is red.[(triple2 OR ((triple3 ((triple1) -> rule1)) -> rule9) OR ((((triple1 ((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule9))] Bob is round.[(triple3 OR ((triple1 ((triple1) -> rule1)) -> rule2))] Charlie is cold.[(triple4 OR ((((((triple5 triple6) -> rule2) triple6) -> rule9)) -> rule8) OR ((((((triple5 triple6) -> rule2) ((triple5) -> rule1)) -> rule9)) -> rule8) OR ((((((triple5 ((triple5) -> rule1)) -> rule2) triple6) -> rule9)) -> rule8) OR ((((((triple5 ((triple5) -> rule1)) -> rule2) ((triple5) -> rule1)) -> rule9)) -> rule8))] Charlie is green.[(triple5)] Charlie is kind.[(triple6 OR ((triple5) -> rule1))] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Fiona is green.[(triple10)] @1: Bob is big.[(((triple1 triple3) -> rule6) OR ((triple1 ((triple1 ((triple1) -> rule1)) -> rule2)) -> rule6))] Bob is cold.[(((triple2) -> rule8) OR ((((triple3 ((triple1) -> rule1)) -> rule9)) -> rule8) OR ((((((triple1 ((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule9)) -> rule8))] Bob is kind.[(((triple1) -> rule1) OR ((triple3 ((((triple1 triple3) -> rule6) ((triple2) -> rule8)) -> rule7)) -> rule5))] Charlie is round.[(((triple5 triple6) -> rule2) OR ((triple5 ((triple5) -> rule1)) -> rule2))] Fiona is kind.[(((triple10) -> rule1))] @2: Bob is furry.[(((((triple1 triple3) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((triple1 triple3) -> rule6) ((((triple3 ((triple1) -> rule1)) -> rule9)) -> rule8)) -> rule7) OR ((((triple1 ((triple1 ((triple1) -> rule1)) -> rule2)) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((triple1 ((triple1 ((triple1) -> rule1)) -> rule2)) -> rule6) ((((triple3 ((triple1) -> rule1)) -> rule9)) -> rule8)) -> rule7) OR ((((triple1 triple3) -> rule6) ((((((triple1 ((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule9)) -> rule8)) -> rule7) OR ((((triple1 ((triple1 ((triple1) -> rule1)) -> rule2)) -> rule6) ((((((triple1 ((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule9)) -> rule8)) -> rule7))] Charlie is big.[(((triple5 ((triple5 triple6) -> rule2)) -> rule6) OR ((triple5 ((triple5 ((triple5) -> rule1)) -> rule2)) -> rule6))] Charlie is red.[(((((triple5 triple6) -> rule2) triple6) -> rule9) OR ((((triple5 triple6) -> rule2) ((triple5) -> rule1)) -> rule9) OR ((((triple5 ((triple5) -> rule1)) -> rule2) triple6) -> rule9) OR ((((triple5 ((triple5) -> rule1)) -> rule2) ((triple5) -> rule1)) -> rule9))] Fiona is round.[(((triple10 ((triple10) -> rule1)) -> rule2))] @3: Charlie is furry.[(((((triple5 ((triple5 triple6) -> rule2)) -> rule6) triple4) -> rule7) OR ((((triple5 ((triple5 ((triple5) -> rule1)) -> rule2)) -> rule6) triple4) -> rule7) OR ((((triple5 ((triple5 triple6) -> rule2)) -> rule6) ((((((triple5 triple6) -> rule2) triple6) -> rule9)) -> rule8)) -> rule7) OR ((((triple5 ((triple5 triple6) -> rule2)) -> rule6) ((((((triple5 triple6) -> rule2) ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule7) OR ((((triple5 ((triple5 ((triple5) -> rule1)) -> rule2)) -> rule6) ((((((triple5 triple6) -> rule2) triple6) -> rule9)) -> rule8)) -> rule7) OR ((((triple5 ((triple5 ((triple5) -> rule1)) -> rule2)) -> rule6) ((((((triple5 triple6) -> rule2) ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule7) OR ((((triple5 ((triple5 triple6) -> rule2)) -> rule6) ((((((triple5 ((triple5) -> rule1)) -> rule2) triple6) -> rule9)) -> rule8)) -> rule7) OR ((((triple5 ((triple5 triple6) -> rule2)) -> rule6) ((((((triple5 ((triple5) -> rule1)) -> rule2) ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule7) OR ((((triple5 ((triple5 ((triple5) -> rule1)) -> rule2)) -> rule6) ((((((triple5 ((triple5) -> rule1)) -> rule2) triple6) -> rule9)) -> rule8)) -> rule7) OR ((((triple5 ((triple5 ((triple5) -> rule1)) -> rule2)) -> rule6) ((((((triple5 ((triple5) -> rule1)) -> rule2) ((triple5) -> rule1)) -> rule9)) -> rule8)) -> rule7))] Fiona is big.[(((triple10 ((triple10 ((triple10) -> rule1)) -> rule2)) -> rule6))] Fiona is red.[(((((triple10 ((triple10) -> rule1)) -> rule2) ((triple10) -> rule1)) -> rule9))] @4: Fiona is cold.[(((((((triple10 ((triple10) -> rule1)) -> rule2) ((triple10) -> rule1)) -> rule9)) -> rule8))] @5: Fiona is furry.[(((((triple10 ((triple10 ((triple10) -> rule1)) -> rule2)) -> rule6) ((((((triple10 ((triple10) -> rule1)) -> rule2) ((triple10) -> rule1)) -> rule9)) -> rule8)) -> rule7))]