Anne is green. Anne is round. Anne is not smart. Anne is white. Bob is green. Bob is quiet. Bob is round. Gary is cold. Gary is smart. Gary is not white. If something is cold and not round then it is green. If something is cold then it is green. Cold things are green. All smart things are red. If something is green then it is red. If Gary is round and Gary is quiet then Gary is not smart. If Gary is round and Gary is smart then Gary is white. All red things are quiet.
Gary is not quiet.
@0: Anne is green.[(triple1)] Anne is not smart.[(triple3)] Anne is round.[(triple2)] Anne is white.[(triple4)] Bob is green.[(triple5)] Bob is quiet.[(triple6 OR ((((triple5) -> rule5)) -> rule8))] Bob is round.[(triple7)] Gary is cold.[(triple8)] Gary is not white.[(triple10)] Gary is smart.[(triple9)] @1: Anne is red.[(((triple1) -> rule5))] Bob is red.[(((triple5) -> rule5))] Gary is green.[(((triple8) -> rule2) OR ((triple8) -> rule3))] Gary is red.[(((triple9) -> rule4) OR ((((triple8) -> rule2)) -> rule5) OR ((((triple8) -> rule3)) -> rule5))] @2: Anne is quiet.[(((((triple1) -> rule5)) -> rule8))] Gary is quiet.[(((((triple9) -> rule4)) -> rule8) OR ((((((triple8) -> rule2)) -> rule5)) -> rule8) OR ((((((triple8) -> rule3)) -> rule5)) -> rule8))]