Bob is nice. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is white. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is white. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is smart. Harry is white. If someone is nice and furry then they are white. White people are furry. White, quiet people are furry. Quiet, white people are nice. If Bob is furry and Bob is cold then Bob is nice. If Harry is white and Harry is kind then Harry is furry. If Bob is furry then Bob is cold. All white people are quiet.
Bob is smart.
@0: Bob is nice.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((((triple5) -> rule8) triple5) -> rule4))] Charlie is white.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7 OR ((triple9) -> rule8))] Fiona is smart.[(triple8)] Fiona is white.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple16) -> rule2) OR ((triple16 triple12) -> rule6) OR ((triple16 triple14) -> rule3) OR ((triple16 ((triple16) -> rule8)) -> rule3))] Harry is kind.[(triple12)] Harry is nice.[(triple13 OR ((triple14 triple16) -> rule4) OR ((((triple16) -> rule8) triple16) -> rule4))] Harry is quiet.[(triple14 OR ((triple16) -> rule8) OR ((((triple13 triple11) -> rule1)) -> rule8))] Harry is smart.[(triple15)] Harry is white.[(triple16 OR ((triple13 triple11) -> rule1))] @1: Charlie is furry.[(((triple5) -> rule2) OR ((triple5 ((triple5) -> rule8)) -> rule3))] Charlie is quiet.[(((triple5) -> rule8))] Fiona is furry.[(((triple9) -> rule2) OR ((triple9 triple7) -> rule3) OR ((triple9 ((triple9) -> rule8)) -> rule3))] Fiona is nice.[(((triple7 triple9) -> rule4) OR ((((triple9) -> rule8) triple9) -> rule4))]