Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is round. Bob is smart. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Harry is round. All blue, green people are furry. All quiet people are smart. If Harry is quiet then Harry is smart. If someone is smart and furry then they are cold. Cold people are furry. All quiet people are cold. Smart people are furry. All cold people are furry.
Bob is not quiet.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple5) -> rule6) OR ((triple7 triple3) -> rule4) OR ((triple7 ((triple7) -> rule7)) -> rule4) OR ((triple7 ((triple1 triple4) -> rule1)) -> rule4) OR ((((triple5) -> rule2) triple3) -> rule4) OR ((((triple5) -> rule2) ((triple7) -> rule7)) -> rule4) OR ((((triple5) -> rule2) ((triple1 triple4) -> rule1)) -> rule4) OR ((triple7 ((((triple5) -> rule2)) -> rule7)) -> rule4) OR ((((triple5) -> rule2) ((((triple5) -> rule2)) -> rule7)) -> rule4))] Bob is furry.[(triple3 OR ((triple2) -> rule5) OR ((triple2) -> rule8) OR ((triple7) -> rule7) OR ((triple1 triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule7) OR ((((triple5) -> rule6)) -> rule5) OR ((((triple5) -> rule6)) -> rule8))] Bob is green.[(triple4)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7 OR ((triple5) -> rule2))] Dave is cold.[(triple8 OR ((triple11) -> rule6) OR ((((triple11) -> rule2) triple9) -> rule4) OR ((((triple11) -> rule2) ((((triple11) -> rule2)) -> rule7)) -> rule4))] Dave is furry.[(triple9 OR ((triple8) -> rule5) OR ((triple8) -> rule8) OR ((((triple11) -> rule2)) -> rule7) OR ((((triple11) -> rule6)) -> rule5) OR ((((triple11) -> rule6)) -> rule8))] Dave is green.[(triple10)] Dave is quiet.[(triple11)] Harry is round.[(triple12)] @1: Dave is smart.[(((triple11) -> rule2))]