Bob is cold. Bob is furry. Bob is green. Bob is red. Bob is white. Charlie is cold. Charlie is furry. Charlie is green. Charlie is white. Charlie is young. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Gary is red. Gary is young. Red, quiet people are white. If someone is furry then they are red. If Charlie is white then Charlie is furry. All white, furry people are cold. Green, young people are furry. Quiet people are white. White, young people are furry. Young people are green.
Gary is young.
@0: Bob is cold.[(triple1 OR ((triple5 triple2) -> rule4))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is red.[(triple4 OR ((triple2) -> rule2))] Bob is white.[(triple5)] Charlie is cold.[(triple6 OR ((triple9 triple7) -> rule4) OR ((triple9 ((triple9) -> rule3)) -> rule4) OR ((triple9 ((triple8 triple10) -> rule5)) -> rule4) OR ((triple9 ((triple9 triple10) -> rule7)) -> rule4) OR ((triple9 ((((triple10) -> rule8) triple10) -> rule5)) -> rule4))] Charlie is furry.[(triple7 OR ((triple9) -> rule3) OR ((triple8 triple10) -> rule5) OR ((triple9 triple10) -> rule7) OR ((((triple10) -> rule8) triple10) -> rule5))] Charlie is green.[(triple8 OR ((triple10) -> rule8))] Charlie is white.[(triple9)] Charlie is young.[(triple10)] Gary is cold.[(triple11 OR ((((triple14) -> rule6) triple12) -> rule4) OR ((((triple15 triple14) -> rule1) triple12) -> rule4) OR ((((triple14) -> rule6) ((triple13 triple16) -> rule5)) -> rule4) OR ((((triple15 triple14) -> rule1) ((triple13 triple16) -> rule5)) -> rule4) OR ((((((triple12) -> rule2) triple14) -> rule1) triple12) -> rule4) OR ((((triple14) -> rule6) ((((triple14) -> rule6) triple16) -> rule7)) -> rule4) OR ((((triple14) -> rule6) ((((triple16) -> rule8) triple16) -> rule5)) -> rule4) OR ((((triple14) -> rule6) ((((triple15 triple14) -> rule1) triple16) -> rule7)) -> rule4) OR ((((triple15 triple14) -> rule1) ((((triple14) -> rule6) triple16) -> rule7)) -> rule4) OR ((((triple15 triple14) -> rule1) ((((triple16) -> rule8) triple16) -> rule5)) -> rule4) OR ((((triple15 triple14) -> rule1) ((((triple15 triple14) -> rule1) triple16) -> rule7)) -> rule4) OR ((((((triple12) -> rule2) triple14) -> rule1) ((triple13 triple16) -> rule5)) -> rule4) OR ((((((triple12) -> rule2) triple14) -> rule1) ((((triple14) -> rule6) triple16) -> rule7)) -> rule4) OR ((((((triple12) -> rule2) triple14) -> rule1) ((((triple16) -> rule8) triple16) -> rule5)) -> rule4) OR ((((((triple12) -> rule2) triple14) -> rule1) ((((triple15 triple14) -> rule1) triple16) -> rule7)) -> rule4) OR ((((((((triple13 triple16) -> rule5)) -> rule2) triple14) -> rule1) triple12) -> rule4) OR ((((((((triple13 triple16) -> rule5)) -> rule2) triple14) -> rule1) ((triple13 triple16) -> rule5)) -> rule4) OR ((((((((triple13 triple16) -> rule5)) -> rule2) triple14) -> rule1) ((((triple14) -> rule6) triple16) -> rule7)) -> rule4) OR ((((((((triple13 triple16) -> rule5)) -> rule2) triple14) -> rule1) ((((triple16) -> rule8) triple16) -> rule5)) -> rule4) OR ((((((((triple13 triple16) -> rule5)) -> rule2) triple14) -> rule1) ((((triple15 triple14) -> rule1) triple16) -> rule7)) -> rule4) OR ((((((((((triple16) -> rule8) triple16) -> rule5)) -> rule2) triple14) -> rule1) triple12) -> rule4) OR ((((((((((triple16) -> rule8) triple16) -> rule5)) -> rule2) triple14) -> rule1) ((triple13 triple16) -> rule5)) -> rule4) OR ((((((((((triple16) -> rule8) triple16) -> rule5)) -> rule2) triple14) -> rule1) ((((triple14) -> rule6) triple16) -> rule7)) -> rule4) OR ((((((((((triple16) -> rule8) triple16) -> rule5)) -> rule2) triple14) -> rule1) ((((triple16) -> rule8) triple16) -> rule5)) -> rule4) OR ((((((((((triple16) -> rule8) triple16) -> rule5)) -> rule2) triple14) -> rule1) ((((triple15 triple14) -> rule1) triple16) -> rule7)) -> rule4))] Gary is furry.[(triple12 OR ((triple13 triple16) -> rule5) OR ((((triple14) -> rule6) triple16) -> rule7) OR ((((triple16) -> rule8) triple16) -> rule5) OR ((((triple15 triple14) -> rule1) triple16) -> rule7))] Gary is green.[(triple13 OR ((triple16) -> rule8))] Gary is quiet.[(triple14)] Gary is red.[(triple15 OR ((triple12) -> rule2) OR ((((triple13 triple16) -> rule5)) -> rule2) OR ((((((triple14) -> rule6) triple16) -> rule7)) -> rule2) OR ((((((triple16) -> rule8) triple16) -> rule5)) -> rule2))] Gary is young.[(triple16)] @1: Charlie is red.[(((triple7) -> rule2) OR ((((triple9) -> rule3)) -> rule2) OR ((((triple8 triple10) -> rule5)) -> rule2) OR ((((triple9 triple10) -> rule7)) -> rule2) OR ((((((triple10) -> rule8) triple10) -> rule5)) -> rule2))] Gary is white.[(((triple14) -> rule6) OR ((triple15 triple14) -> rule1) OR ((((triple12) -> rule2) triple14) -> rule1) OR ((((((triple13 triple16) -> rule5)) -> rule2) triple14) -> rule1) OR ((((((((triple16) -> rule8) triple16) -> rule5)) -> rule2) triple14) -> rule1))]