Anne is quiet. Anne is white. Bob is cold. Bob is kind. Bob is not nice. Bob is quiet. Dave is nice. Gary is nice. Gary is quiet. Gary is white. If something is rough then it is big. White, kind things are big. If Anne is kind then Anne is not rough. If something is quiet then it is cold. If something is quiet and not nice then it is cold. If Gary is not white then Gary is big. If Gary is big then Gary is quiet. If Dave is white and Dave is not rough then Dave is kind.
Anne is not big.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Bob is cold.[(triple3 OR ((triple6) -> rule4) OR ((triple6 triple5) -> rule5))] Bob is kind.[(triple4)] Bob is not nice.[(triple5)] Bob is quiet.[(triple6)] Dave is nice.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is white.[(triple10)] @1: Anne is cold.[(((triple1) -> rule4))] Gary is cold.[(((triple9) -> rule4))]