Charlie is furry. Charlie is nice. Charlie is smart. Erin is blue. Erin is furry. Erin is not nice. Erin is red. Erin is round. Erin is young. Fiona is blue. Fiona is furry. Fiona is round. Fiona is young. Harry is not red. Harry is round. Harry is smart. If someone is blue then they are smart. If someone is young and furry then they are blue. If Erin is blue then Erin is furry. If someone is blue and not red then they are round. If someone is young then they are furry. If someone is red and not smart then they are nice. All blue, red people are not nice. If someone is red and not smart then they are nice.
Harry is smart.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is smart.[(triple3)] Erin is blue.[(triple4 OR ((triple9 triple5) -> rule2) OR ((triple9 ((triple9) -> rule5)) -> rule2))] Erin is furry.[(triple5 OR ((triple4) -> rule3) OR ((triple9) -> rule5))] Erin is not nice.[(triple6 OR ((triple4 triple7) -> rule7) OR ((((triple9 triple5) -> rule2) triple7) -> rule7) OR ((((triple9 ((triple9) -> rule5)) -> rule2) triple7) -> rule7))] Erin is red.[(triple7)] Erin is round.[(triple8)] Erin is young.[(triple9)] Fiona is blue.[(triple10 OR ((triple13 triple11) -> rule2) OR ((triple13 ((triple13) -> rule5)) -> rule2))] Fiona is furry.[(triple11 OR ((triple13) -> rule5))] Fiona is round.[(triple12)] Fiona is young.[(triple13)] Harry is not red.[(triple14)] Harry is round.[(triple15)] Harry is smart.[(triple16)] @1: Erin is smart.[(((triple4) -> rule1) OR ((((triple9 triple5) -> rule2)) -> rule1) OR ((((triple9 ((triple9) -> rule5)) -> rule2)) -> rule1))] Fiona is smart.[(((triple10) -> rule1) OR ((((triple13 triple11) -> rule2)) -> rule1) OR ((((triple13 ((triple13) -> rule5)) -> rule2)) -> rule1))]