Bob is cold. Bob is furry. Bob is rough. Charlie is cold. Charlie is smart. Dave is cold. Dave is quiet. Dave is rough. Dave is round. Dave is white. Harry is quiet. Harry is round. If someone is cold and round then they are smart. Quiet, furry people are smart. If someone is round and smart then they are white. All quiet, round people are rough. All rough people are furry. Furry, round people are cold.
Bob is not smart.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule5))] Bob is rough.[(triple3)] Charlie is cold.[(triple4)] Charlie is smart.[(triple5)] Dave is cold.[(triple6 OR ((((triple8) -> rule5) triple9) -> rule6) OR ((((((triple7 triple9) -> rule4)) -> rule5) triple9) -> rule6))] Dave is quiet.[(triple7)] Dave is rough.[(triple8 OR ((triple7 triple9) -> rule4))] Dave is round.[(triple9)] Dave is white.[(triple10 OR ((triple9 ((triple6 triple9) -> rule1)) -> rule3) OR ((triple9 ((triple7 ((triple8) -> rule5)) -> rule2)) -> rule3) OR ((triple9 ((triple7 ((((triple7 triple9) -> rule4)) -> rule5)) -> rule2)) -> rule3) OR ((triple9 ((((((triple8) -> rule5) triple9) -> rule6) triple9) -> rule1)) -> rule3) OR ((triple9 ((((((((triple7 triple9) -> rule4)) -> rule5) triple9) -> rule6) triple9) -> rule1)) -> rule3))] Harry is quiet.[(triple11)] Harry is round.[(triple12)] @1: Dave is furry.[(((triple8) -> rule5) OR ((((triple7 triple9) -> rule4)) -> rule5))] Dave is smart.[(((triple6 triple9) -> rule1) OR ((triple7 ((triple8) -> rule5)) -> rule2) OR ((triple7 ((((triple7 triple9) -> rule4)) -> rule5)) -> rule2) OR ((((((triple8) -> rule5) triple9) -> rule6) triple9) -> rule1) OR ((((((((triple7 triple9) -> rule4)) -> rule5) triple9) -> rule6) triple9) -> rule1))] Harry is rough.[(((triple11 triple12) -> rule4))] @2: Harry is furry.[(((((triple11 triple12) -> rule4)) -> rule5))] @3: Harry is cold.[(((((((triple11 triple12) -> rule4)) -> rule5) triple12) -> rule6))] Harry is smart.[(((triple11 ((((triple11 triple12) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple11 triple12) -> rule4)) -> rule5) triple12) -> rule6) triple12) -> rule1))] @4: Harry is white.[(((triple12 ((triple11 ((((triple11 triple12) -> rule4)) -> rule5)) -> rule2)) -> rule3) OR ((triple12 ((((((((triple11 triple12) -> rule4)) -> rule5) triple12) -> rule6) triple12) -> rule1)) -> rule3))]