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