Anne is cold. Anne is quiet. Anne is white. Bob is cold. Bob is kind. Bob is quiet. Bob is round. Bob is white. Gary is not quiet. Gary is white. If someone is cold and not white then they are smart. If someone is smart then they are not cold. All smart, rough people are quiet. All kind people are quiet. All cold people are kind. If Gary is rough then Gary is round. If someone is round and cold then they are rough. If Anne is kind then Anne is round.
Bob is not rough.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2 OR ((((triple1) -> rule5)) -> rule4))] Anne is white.[(triple3)] Bob is cold.[(triple4)] Bob is kind.[(triple5 OR ((triple4) -> rule5))] Bob is quiet.[(triple6 OR ((triple5) -> rule4) OR ((((triple4) -> rule5)) -> rule4))] Bob is round.[(triple7)] Bob is white.[(triple8)] Gary is not quiet.[(triple9)] Gary is white.[(triple10)] @1: Anne is kind.[(((triple1) -> rule5))] Bob is rough.[(((triple7 triple4) -> rule7))] @2: Anne is round.[(((((triple1) -> rule5)) -> rule8))] @3: Anne is rough.[(((((((triple1) -> rule5)) -> rule8) triple1) -> rule7))]