Anne is furry. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is smart. Fiona is furry. Fiona is quiet. Fiona is rough. Harry is furry. Harry is nice. Harry is red. Harry is round. Harry is smart. Quiet people are furry. All quiet people are nice. If Anne is red then Anne is quiet. All furry, round people are quiet. Quiet, furry people are rough. If Fiona is rough then Fiona is smart. Red, quiet people are furry. If someone is smart and rough then they are quiet.
Anne is not round.
@0: Anne is furry.[(triple1 OR ((triple3) -> rule1) OR ((triple4 triple3) -> rule7) OR ((((triple4) -> rule3)) -> rule1) OR ((((triple7 triple5) -> rule8)) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule7) OR ((triple4 ((triple7 triple5) -> rule8)) -> rule7))] Anne is nice.[(triple2 OR ((triple3) -> rule2) OR ((((triple4) -> rule3)) -> rule2) OR ((((triple1 triple6) -> rule4)) -> rule2) OR ((((triple7 triple5) -> rule8)) -> rule2))] Anne is quiet.[(triple3 OR ((triple4) -> rule3) OR ((triple1 triple6) -> rule4) OR ((triple7 triple5) -> rule8))] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple3 triple1) -> rule5) OR ((triple3 ((triple3) -> rule1)) -> rule5) OR ((triple3 ((triple4 triple3) -> rule7)) -> rule5) OR ((((triple4) -> rule3) triple1) -> rule5) OR ((((triple1 triple6) -> rule4) triple1) -> rule5) OR ((((triple4) -> rule3) ((triple3) -> rule1)) -> rule5) OR ((((triple4) -> rule3) ((triple4 triple3) -> rule7)) -> rule5) OR ((((triple1 triple6) -> rule4) ((triple3) -> rule1)) -> rule5) OR ((((triple1 triple6) -> rule4) ((triple4 triple3) -> rule7)) -> rule5) OR ((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule5) OR ((triple3 ((triple4 ((triple4) -> rule3)) -> rule7)) -> rule5) OR ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple4) -> rule3) ((triple4 ((triple4) -> rule3)) -> rule7)) -> rule5) OR ((((triple1 triple6) -> rule4) ((((triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple1 triple6) -> rule4) ((triple4 ((triple4) -> rule3)) -> rule7)) -> rule5))] Anne is round.[(triple6)] Anne is smart.[(triple7)] Fiona is furry.[(triple8 OR ((triple9) -> rule1) OR ((((((triple10) -> rule6) triple10) -> rule8)) -> rule1))] Fiona is quiet.[(triple9 OR ((((triple10) -> rule6) triple10) -> rule8))] Fiona is rough.[(triple10 OR ((triple9 triple8) -> rule5) OR ((triple9 ((triple9) -> rule1)) -> rule5))] Harry is furry.[(triple11)] Harry is nice.[(triple12 OR ((((triple11 triple14) -> rule4)) -> rule2))] Harry is red.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Fiona is nice.[(((triple9) -> rule2) OR ((((((triple10) -> rule6) triple10) -> rule8)) -> rule2))] Fiona is smart.[(((triple10) -> rule6) OR ((((triple9 triple8) -> rule5)) -> rule6) OR ((((triple9 ((triple9) -> rule1)) -> rule5)) -> rule6))] Harry is quiet.[(((triple11 triple14) -> rule4))] @2: Harry is rough.[(((((triple11 triple14) -> rule4) triple11) -> rule5))]