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