Anne is kind. Anne is round. Erin is furry. Erin is kind. Erin is young. Fiona is smart. Fiona is young. Harry is furry. Harry is round. Harry is smart. If something is round and rough then it is furry. If Harry is round then Harry is furry. Blue things are rough. All young, furry things are blue. Young, smart things are blue. If Anne is smart then Anne is young. All smart, blue things are kind. Kind things are smart.
Anne is rough.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Erin is young.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] Harry is furry.[(triple8 OR ((triple9) -> rule2))] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Anne is smart.[(((triple1) -> rule8))] Erin is blue.[(((triple5 triple3) -> rule4) OR ((triple5 ((triple4) -> rule8)) -> rule5))] Erin is smart.[(((triple4) -> rule8))] Fiona is blue.[(((triple7 triple6) -> rule5))] @2: Anne is young.[(((((triple1) -> rule8)) -> rule6))] Erin is rough.[(((((triple5 triple3) -> rule4)) -> rule3) OR ((((triple5 ((triple4) -> rule8)) -> rule5)) -> rule3))] Fiona is kind.[(((triple6 ((triple7 triple6) -> rule5)) -> rule7))] Fiona is rough.[(((((triple7 triple6) -> rule5)) -> rule3))] @3: Anne is blue.[(((((((triple1) -> rule8)) -> rule6) ((triple1) -> rule8)) -> rule5))] @4: Anne is rough.[(((((((((triple1) -> rule8)) -> rule6) ((triple1) -> rule8)) -> rule5)) -> rule3))] @5: Anne is furry.[(((triple2 ((((((((triple1) -> rule8)) -> rule6) ((triple1) -> rule8)) -> rule5)) -> rule3)) -> rule1))]