Bob is cold. Bob is furry. Bob is smart. Bob is young. Charlie is cold. Charlie is furry. Charlie is white. All furry people are blue. White, nice people are cold. If Bob is smart then Bob is furry. If someone is young then they are white. All furry, young people are nice. If someone is smart then they are young. If Bob is smart and Bob is white then Bob is nice. If someone is young and white then they are smart.
Bob is furry.
@0: Bob is cold.[(triple1 OR ((((triple4) -> rule4) ((triple2 triple4) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((triple2 ((triple3) -> rule6)) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((triple3 ((triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple4) -> rule4) ((((triple3) -> rule3) triple4) -> rule5)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4) ((triple2 triple4) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((((triple3) -> rule3) ((triple3) -> rule6)) -> rule5)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4) ((triple2 ((triple3) -> rule6)) -> rule5)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4) ((triple3 ((triple4) -> rule4)) -> rule7)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4) ((((triple3) -> rule3) triple4) -> rule5)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4) ((((triple3) -> rule3) ((triple3) -> rule6)) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule7)) -> rule2) OR ((((triple4) -> rule4) ((((triple4 ((triple4) -> rule4)) -> rule8) ((triple4) -> rule4)) -> rule7)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4) ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule7)) -> rule2) OR ((((triple4) -> rule4) ((((triple4 ((triple4) -> rule4)) -> rule8) ((((triple3) -> rule6)) -> rule4)) -> rule7)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4) ((((triple4 ((triple4) -> rule4)) -> rule8) ((triple4) -> rule4)) -> rule7)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4) ((((triple4 ((triple4) -> rule4)) -> rule8) ((((triple3) -> rule6)) -> rule4)) -> rule7)) -> rule2) OR ((((triple4) -> rule4) ((((((triple4 ((triple4) -> rule4)) -> rule8)) -> rule3) triple4) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((((((triple4 ((triple4) -> rule4)) -> rule8)) -> rule3) ((triple3) -> rule6)) -> rule5)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4) ((((((triple4 ((triple4) -> rule4)) -> rule8)) -> rule3) triple4) -> rule5)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4) ((((((triple4 ((triple4) -> rule4)) -> rule8)) -> rule3) ((triple3) -> rule6)) -> rule5)) -> rule2))] Bob is furry.[(triple2 OR ((triple3) -> rule3) OR ((((triple4 ((triple4) -> rule4)) -> rule8)) -> rule3))] Bob is smart.[(triple3 OR ((triple4 ((triple4) -> rule4)) -> rule8))] Bob is young.[(triple4 OR ((triple3) -> rule6))] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is white.[(triple7)] @1: Bob is blue.[(((triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule1) OR ((((((triple4 ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule1))] Bob is nice.[(((triple2 triple4) -> rule5) OR ((triple2 ((triple3) -> rule6)) -> rule5) OR ((triple3 ((triple4) -> rule4)) -> rule7) OR ((((triple3) -> rule3) triple4) -> rule5) OR ((((triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule7) OR ((((triple4 ((triple4) -> rule4)) -> rule8) ((triple4) -> rule4)) -> rule7) OR ((((triple4 ((triple4) -> rule4)) -> rule8) ((((triple3) -> rule6)) -> rule4)) -> rule7) OR ((((((triple4 ((triple4) -> rule4)) -> rule8)) -> rule3) triple4) -> rule5) OR ((((((triple4 ((triple4) -> rule4)) -> rule8)) -> rule3) ((triple3) -> rule6)) -> rule5))] Bob is white.[(((triple4) -> rule4) OR ((((triple3) -> rule6)) -> rule4))] Charlie is blue.[(((triple6) -> rule1))]