Bob is blue. Bob is cold. Bob is furry. Bob is kind. Dave is blue. Dave is kind. Dave is round. Dave is young. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is round. Gary is white. Gary is young. If someone is furry and cold then they are blue. All furry people are round. All blue, young people are round. White, blue people are round. If someone is cold and white then they are kind. If Dave is furry then Dave is round.
Bob is not furry.
@0: Bob is blue.[(triple1 OR ((triple3 triple2) -> rule1))] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Dave is blue.[(triple5)] Dave is kind.[(triple6)] Dave is round.[(triple7 OR ((triple5 triple8) -> rule3))] Dave is young.[(triple8)] Gary is blue.[(triple9 OR ((triple11 triple10) -> rule1))] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is kind.[(triple12 OR ((triple10 triple14) -> rule5))] Gary is round.[(triple13 OR ((triple11) -> rule2) OR ((triple14 triple9) -> rule4) OR ((triple9 triple15) -> rule3) OR ((triple14 ((triple11 triple10) -> rule1)) -> rule4) OR ((((triple11 triple10) -> rule1) triple15) -> rule3))] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Bob is round.[(((triple3) -> rule2))]