Anne is kind. Anne is round. Erin is big. Erin is rough. Fiona is big. Fiona is furry. Harry is cold. Cold, furry people are kind. If someone is furry then they are cold. Big people are round. Big, rough people are furry. All rough people are round. If someone is round then they are rough. All cold people are big. If someone is furry then they are rough.
Harry is not round.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Erin is big.[(triple3)] Erin is rough.[(triple4 OR ((((triple3) -> rule3)) -> rule6))] Fiona is big.[(triple5 OR ((((triple6) -> rule2)) -> rule7))] Fiona is furry.[(triple6 OR ((triple5 ((((triple5) -> rule3)) -> rule6)) -> rule4))] Harry is cold.[(triple7)] @1: Anne is rough.[(((triple2) -> rule6))] Erin is furry.[(((triple3 triple4) -> rule4) OR ((triple3 ((((triple3) -> rule3)) -> rule6)) -> rule4))] Erin is round.[(((triple3) -> rule3) OR ((triple4) -> rule5))] Fiona is cold.[(((triple6) -> rule2) OR ((((triple5 ((((triple5) -> rule3)) -> rule6)) -> rule4)) -> rule2))] Fiona is rough.[(((triple6) -> rule8) OR ((((triple5) -> rule3)) -> rule6) OR ((((((((triple6) -> rule2)) -> rule7)) -> rule3)) -> rule6))] Fiona is round.[(((triple5) -> rule3) OR ((((triple6) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule7)) -> rule3))] Harry is big.[(((triple7) -> rule7))] @2: Erin is cold.[(((((triple3 triple4) -> rule4)) -> rule2) OR ((((triple3 ((((triple3) -> rule3)) -> rule6)) -> rule4)) -> rule2))] Fiona is kind.[(((((triple6) -> rule2) triple6) -> rule1) OR ((((triple6) -> rule2) ((triple5 ((((triple5) -> rule3)) -> rule6)) -> rule4)) -> rule1) OR ((((((triple5 ((((triple5) -> rule3)) -> rule6)) -> rule4)) -> rule2) triple6) -> rule1) OR ((((((triple5 ((((triple5) -> rule3)) -> rule6)) -> rule4)) -> rule2) ((triple5 ((((triple5) -> rule3)) -> rule6)) -> rule4)) -> rule1))] Harry is round.[(((((triple7) -> rule7)) -> rule3))] @3: Erin is kind.[(((((((triple3 triple4) -> rule4)) -> rule2) ((triple3 triple4) -> rule4)) -> rule1) OR ((((((triple3 triple4) -> rule4)) -> rule2) ((triple3 ((((triple3) -> rule3)) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3 ((((triple3) -> rule3)) -> rule6)) -> rule4)) -> rule2) ((triple3 triple4) -> rule4)) -> rule1) OR ((((((triple3 ((((triple3) -> rule3)) -> rule6)) -> rule4)) -> rule2) ((triple3 ((((triple3) -> rule3)) -> rule6)) -> rule4)) -> rule1))] Harry is rough.[(((((((triple7) -> rule7)) -> rule3)) -> rule6))] @4: Harry is furry.[(((((triple7) -> rule7) ((((((triple7) -> rule7)) -> rule3)) -> rule6)) -> rule4))] @5: Harry is kind.[(((triple7 ((((triple7) -> rule7) ((((((triple7) -> rule7)) -> rule3)) -> rule6)) -> rule4)) -> rule1))]