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