Bob is green. Bob is nice. Charlie is cold. Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Dave is furry. Dave is red. Dave is rough. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is white. If Charlie is cold and Charlie is green then Charlie is rough. All white, rough people are furry. If someone is red then they are nice. All cold people are furry. All furry, cold people are rough. All red, cold people are rough. All red people are furry. All white, nice people are cold.
Dave is furry.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4 OR ((triple3) -> rule4) OR ((triple6) -> rule7))] Charlie is green.[(triple5)] Charlie is red.[(triple6)] Charlie is rough.[(triple7 OR ((triple3 triple5) -> rule1) OR ((triple4 triple3) -> rule5) OR ((triple6 triple3) -> rule6) OR ((((triple3) -> rule4) triple3) -> rule5) OR ((((triple6) -> rule7) triple3) -> rule5))] Dave is furry.[(triple8 OR ((triple9) -> rule7))] Dave is red.[(triple9)] Dave is rough.[(triple10)] Harry is furry.[(triple11 OR ((triple14) -> rule7) OR ((((triple15 triple13) -> rule8)) -> rule4) OR ((((triple15 ((triple14) -> rule3)) -> rule8)) -> rule4) OR ((triple15 ((triple14 ((triple15 triple13) -> rule8)) -> rule6)) -> rule2) OR ((triple15 ((triple14 ((triple15 ((triple14) -> rule3)) -> rule8)) -> rule6)) -> rule2))] Harry is green.[(triple12)] Harry is nice.[(triple13 OR ((triple14) -> rule3))] Harry is red.[(triple14)] Harry is white.[(triple15)] @1: Charlie is nice.[(((triple6) -> rule3))] Dave is nice.[(((triple9) -> rule3))] Harry is cold.[(((triple15 triple13) -> rule8) OR ((triple15 ((triple14) -> rule3)) -> rule8))] @2: Harry is rough.[(((triple11 ((triple15 triple13) -> rule8)) -> rule5) OR ((triple14 ((triple15 triple13) -> rule8)) -> rule6) OR ((((triple14) -> rule7) ((triple15 triple13) -> rule8)) -> rule5) OR ((triple11 ((triple15 ((triple14) -> rule3)) -> rule8)) -> rule5) OR ((triple14 ((triple15 ((triple14) -> rule3)) -> rule8)) -> rule6) OR ((((triple14) -> rule7) ((triple15 ((triple14) -> rule3)) -> rule8)) -> rule5) OR ((((((triple15 triple13) -> rule8)) -> rule4) ((triple15 triple13) -> rule8)) -> rule5) OR ((((((triple15 triple13) -> rule8)) -> rule4) ((triple15 ((triple14) -> rule3)) -> rule8)) -> rule5) OR ((((((triple15 ((triple14) -> rule3)) -> rule8)) -> rule4) ((triple15 triple13) -> rule8)) -> rule5) OR ((((((triple15 ((triple14) -> rule3)) -> rule8)) -> rule4) ((triple15 ((triple14) -> rule3)) -> rule8)) -> rule5))]