Anne is quiet. Charlie is furry. Charlie is smart. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is rough. Harry is kind. Harry is smart. Harry is young. Kind things are young. If something is smart then it is young. Rough, kind things are furry. Rough, smart things are white. All rough things are kind. Kind, furry things are young. If something is smart then it is furry. If Charlie is rough and Charlie is quiet then Charlie is white.
Anne is not rough.
@0: Anne is quiet.[(triple1)] Charlie is furry.[(triple2 OR ((triple3) -> rule7))] Charlie is smart.[(triple3)] Fiona is furry.[(triple4 OR ((triple7 triple5) -> rule3) OR ((triple7 ((triple7) -> rule5)) -> rule3))] Fiona is kind.[(triple5 OR ((triple7) -> rule5))] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7)] Harry is kind.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10 OR ((triple8) -> rule1) OR ((triple9) -> rule2) OR ((triple8 ((triple9) -> rule7)) -> rule6))] @1: Charlie is young.[(((triple3) -> rule2))] Fiona is young.[(((triple5) -> rule1) OR ((triple5 triple4) -> rule6) OR ((((triple7) -> rule5)) -> rule1) OR ((triple5 ((triple7 triple5) -> rule3)) -> rule6) OR ((((triple7) -> rule5) triple4) -> rule6) OR ((((triple7) -> rule5) ((triple7 triple5) -> rule3)) -> rule6) OR ((triple5 ((triple7 ((triple7) -> rule5)) -> rule3)) -> rule6) OR ((((triple7) -> rule5) ((triple7 ((triple7) -> rule5)) -> rule3)) -> rule6))] Harry is furry.[(((triple9) -> rule7))]