Bob is blue. Bob is cold. Bob is rough. Bob is white. Bob is young. Charlie is blue. Charlie is furry. Charlie is round. Charlie is white. Harry is blue. Harry is cold. Harry is furry. Harry is rough. Harry is round. Harry is young. White things are blue. If Harry is cold and Harry is young then Harry is rough. If something is furry then it is blue. All furry things are white. If Charlie is cold then Charlie is young. Rough, furry things are cold. If Charlie is blue and Charlie is round then Charlie is rough. All rough, blue things are cold.
Bob is not young.
@0: Bob is blue.[(triple1 OR ((triple4) -> rule1))] Bob is cold.[(triple2 OR ((triple3 triple1) -> rule8) OR ((triple3 ((triple4) -> rule1)) -> rule8))] Bob is rough.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Charlie is blue.[(triple6 OR ((triple7) -> rule3) OR ((triple9) -> rule1) OR ((((triple7) -> rule4)) -> rule1))] Charlie is furry.[(triple7)] Charlie is round.[(triple8)] Charlie is white.[(triple9 OR ((triple7) -> rule4))] Harry is blue.[(triple10 OR ((triple12) -> rule3) OR ((((triple12) -> rule4)) -> rule1))] Harry is cold.[(triple11 OR ((triple13 triple10) -> rule8) OR ((triple13 triple12) -> rule6) OR ((triple13 ((triple12) -> rule3)) -> rule8) OR ((triple13 ((((triple12) -> rule4)) -> rule1)) -> rule8))] Harry is furry.[(triple12)] Harry is rough.[(triple13 OR ((triple11 triple15) -> rule2))] Harry is round.[(triple14)] Harry is young.[(triple15)] @1: Charlie is rough.[(((triple6 triple8) -> rule7) OR ((((triple7) -> rule3) triple8) -> rule7) OR ((((triple9) -> rule1) triple8) -> rule7) OR ((((((triple7) -> rule4)) -> rule1) triple8) -> rule7))] Harry is white.[(((triple12) -> rule4))] @2: Charlie is cold.[(((((triple6 triple8) -> rule7) triple6) -> rule8) OR ((((triple6 triple8) -> rule7) triple7) -> rule6) OR ((((triple6 triple8) -> rule7) ((triple7) -> rule3)) -> rule8) OR ((((triple6 triple8) -> rule7) ((triple9) -> rule1)) -> rule8) OR ((((((triple7) -> rule3) triple8) -> rule7) triple6) -> rule8) OR ((((((triple7) -> rule3) triple8) -> rule7) triple7) -> rule6) OR ((((((triple9) -> rule1) triple8) -> rule7) triple6) -> rule8) OR ((((((triple9) -> rule1) triple8) -> rule7) triple7) -> rule6) OR ((((triple6 triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8) OR ((((((triple7) -> rule3) triple8) -> rule7) ((triple7) -> rule3)) -> rule8) OR ((((((triple7) -> rule3) triple8) -> rule7) ((triple9) -> rule1)) -> rule8) OR ((((((triple9) -> rule1) triple8) -> rule7) ((triple7) -> rule3)) -> rule8) OR ((((((triple9) -> rule1) triple8) -> rule7) ((triple9) -> rule1)) -> rule8) OR ((((((triple7) -> rule3) triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8) OR ((((((triple9) -> rule1) triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) triple6) -> rule8) OR ((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) triple7) -> rule6) OR ((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) ((triple7) -> rule3)) -> rule8) OR ((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) ((triple9) -> rule1)) -> rule8) OR ((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8))] @3: Charlie is young.[(((((((triple6 triple8) -> rule7) triple6) -> rule8)) -> rule5) OR ((((((triple6 triple8) -> rule7) triple7) -> rule6)) -> rule5) OR ((((((triple6 triple8) -> rule7) ((triple7) -> rule3)) -> rule8)) -> rule5) OR ((((((triple6 triple8) -> rule7) ((triple9) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple7) -> rule3) triple8) -> rule7) triple6) -> rule8)) -> rule5) OR ((((((((triple7) -> rule3) triple8) -> rule7) triple7) -> rule6)) -> rule5) OR ((((((((triple9) -> rule1) triple8) -> rule7) triple6) -> rule8)) -> rule5) OR ((((((((triple9) -> rule1) triple8) -> rule7) triple7) -> rule6)) -> rule5) OR ((((((triple6 triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple7) -> rule3) triple8) -> rule7) ((triple7) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple7) -> rule3) triple8) -> rule7) ((triple9) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule1) triple8) -> rule7) ((triple7) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule1) triple8) -> rule7) ((triple9) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple7) -> rule3) triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule1) triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) triple6) -> rule8)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) triple7) -> rule6)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) ((triple7) -> rule3)) -> rule8)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) ((triple9) -> rule1)) -> rule8)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8)) -> rule5))]