Bob is furry. Bob is nice. Bob is round. Bob is smart. Dave is blue. Dave is nice. Gary is blue. Gary is nice. Gary is smart. Gary is white. Harry is blue. Harry is furry. Harry is nice. Harry is quiet. Harry is smart. Harry is white. All furry people are white. All round, smart people are white. All smart, quiet people are round. If Bob is blue and Bob is nice then Bob is white. Nice people are blue. Blue, furry people are quiet.
Dave is not furry.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3 OR ((triple4 ((((triple2) -> rule5) triple1) -> rule6)) -> rule3))] Bob is smart.[(triple4)] Dave is blue.[(triple5 OR ((triple6) -> rule5))] Dave is nice.[(triple6)] Gary is blue.[(triple7 OR ((triple8) -> rule5))] Gary is nice.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] Harry is blue.[(triple11 OR ((triple13) -> rule5))] Harry is furry.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14 OR ((triple11 triple12) -> rule6) OR ((((triple13) -> rule5) triple12) -> rule6))] Harry is smart.[(triple15)] Harry is white.[(triple16 OR ((triple12) -> rule1) OR ((((triple15 triple14) -> rule3) triple15) -> rule2) OR ((((triple15 ((triple11 triple12) -> rule6)) -> rule3) triple15) -> rule2) OR ((((triple15 ((((triple13) -> rule5) triple12) -> rule6)) -> rule3) triple15) -> rule2))] @1: Bob is blue.[(((triple2) -> rule5))] Bob is white.[(((triple1) -> rule1) OR ((triple3 triple4) -> rule2) OR ((((triple2) -> rule5) triple2) -> rule4) OR ((((triple4 ((((triple2) -> rule5) triple1) -> rule6)) -> rule3) triple4) -> rule2))] Harry is round.[(((triple15 triple14) -> rule3) OR ((triple15 ((triple11 triple12) -> rule6)) -> rule3) OR ((triple15 ((((triple13) -> rule5) triple12) -> rule6)) -> rule3))] @2: Bob is quiet.[(((((triple2) -> rule5) triple1) -> rule6))]