Bob is furry. Bob is round. Bob is white. Bob is young. Dave is furry. Dave is white. Fiona is big. Fiona is kind. Fiona is quiet. Fiona is white. Fiona is young. Harry is big. Harry is quiet. Harry is round. Harry is white. White, furry things are kind. If Bob is quiet and Bob is white then Bob is big. White, furry things are big. All kind, young things are round. White, kind things are round. All quiet things are round.
Harry is not kind.
@0: Bob is furry.[(triple1)] Bob is round.[(triple2 OR ((triple3 ((triple3 triple1) -> rule1)) -> rule5) OR ((((triple3 triple1) -> rule1) triple4) -> rule4))] Bob is white.[(triple3)] Bob is young.[(triple4)] Dave is furry.[(triple5)] Dave is white.[(triple6)] Fiona is big.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9)] Fiona is white.[(triple10)] Fiona is young.[(triple11)] Harry is big.[(triple12)] Harry is quiet.[(triple13)] Harry is round.[(triple14 OR ((triple13) -> rule6))] Harry is white.[(triple15)] @1: Bob is big.[(((triple3 triple1) -> rule3))] Bob is kind.[(((triple3 triple1) -> rule1))] Dave is big.[(((triple6 triple5) -> rule3))] Dave is kind.[(((triple6 triple5) -> rule1))] Fiona is round.[(((triple9) -> rule6) OR ((triple10 triple8) -> rule5) OR ((triple8 triple11) -> rule4))] @2: Dave is round.[(((triple6 ((triple6 triple5) -> rule1)) -> rule5))]