Anne is cold. Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Erin is cold. Erin is quiet. Erin is round. Fiona is round. Harry is cold. Harry is furry. Round things are quiet. If something is nice then it is round. All round, rough things are furry. If something is furry and rough then it is cold. All furry, nice things are round. All kind things are furry. All cold, furry things are round. All furry things are cold.
Erin is round.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule8) OR ((triple2 triple6) -> rule4) OR ((((triple3) -> rule6)) -> rule8) OR ((((triple3) -> rule6) triple6) -> rule4) OR ((((((triple4) -> rule2) triple6) -> rule3)) -> rule8) OR ((((((triple4) -> rule2) triple6) -> rule3) triple6) -> rule4))] Anne is furry.[(triple2 OR ((triple3) -> rule6) OR ((((triple4) -> rule2) triple6) -> rule3))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((((triple4) -> rule2)) -> rule1) OR ((((triple1 triple2) -> rule7)) -> rule1) OR ((((triple2 triple4) -> rule5)) -> rule1) OR ((((triple1 ((triple3) -> rule6)) -> rule7)) -> rule1) OR ((((((triple2) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((triple3) -> rule6) triple4) -> rule5)) -> rule1) OR ((((((triple2 triple6) -> rule4) triple2) -> rule7)) -> rule1) OR ((((((triple2) -> rule8) ((triple3) -> rule6)) -> rule7)) -> rule1) OR ((((((triple2 triple6) -> rule4) ((triple3) -> rule6)) -> rule7)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((triple3) -> rule6) triple6) -> rule4) triple2) -> rule7)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule8) ((triple3) -> rule6)) -> rule7)) -> rule1) OR ((((((((triple3) -> rule6) triple6) -> rule4) ((triple3) -> rule6)) -> rule7)) -> rule1))] Anne is rough.[(triple6)] Erin is cold.[(triple7)] Erin is quiet.[(triple8 OR ((triple9) -> rule1))] Erin is round.[(triple9)] Fiona is round.[(triple10)] Harry is cold.[(triple11 OR ((triple12) -> rule8))] Harry is furry.[(triple12)] @1: Anne is round.[(((triple4) -> rule2) OR ((triple1 triple2) -> rule7) OR ((triple2 triple4) -> rule5) OR ((triple1 ((triple3) -> rule6)) -> rule7) OR ((((triple2) -> rule8) triple2) -> rule7) OR ((((triple3) -> rule6) triple4) -> rule5) OR ((((triple2 triple6) -> rule4) triple2) -> rule7) OR ((((triple2) -> rule8) ((triple3) -> rule6)) -> rule7) OR ((((triple2 triple6) -> rule4) ((triple3) -> rule6)) -> rule7) OR ((((((triple3) -> rule6)) -> rule8) triple2) -> rule7) OR ((((((triple3) -> rule6) triple6) -> rule4) triple2) -> rule7) OR ((((((triple3) -> rule6)) -> rule8) ((triple3) -> rule6)) -> rule7) OR ((((((triple3) -> rule6) triple6) -> rule4) ((triple3) -> rule6)) -> rule7))] Fiona is quiet.[(((triple10) -> rule1))] Harry is round.[(((triple11 triple12) -> rule7) OR ((((triple12) -> rule8) triple12) -> rule7))] @2: Harry is quiet.[(((((triple11 triple12) -> rule7)) -> rule1) OR ((((((triple12) -> rule8) triple12) -> rule7)) -> rule1))]